C++: Remove accidental redundancy.

jcreedcmu · jcreedcmu · commit 9c0be34fd49b · 2019-03-28T20:39:29.000-04:00
diff --git a/cpp/ql/src/semmle/code/cpp/rangeanalysis/NanAnalysis.qll b/cpp/ql/src/semmle/code/cpp/rangeanalysis/NanAnalysis.qll
@@ -10,7 +10,6 @@ predicate nanExcludingComparison(ComparisonOperation guard, boolean polarity) {
   (
     guard instanceof LTExpr or
     guard instanceof LEExpr or
-    guard instanceof LEExpr or
     guard instanceof GTExpr or
     guard instanceof GEExpr or
     guard instanceof EQExpr

Original file line number	Diff line number	Diff line change
`@@ -10,7 +10,6 @@ predicate nanExcludingComparison(ComparisonOperation guard, boolean polarity) {`
`10`	`10`	`(`
`11`	`11`	`guard instanceof LTExpr or`
`12`	`12`	`guard instanceof LEExpr or`
`13`		`- guard instanceof LEExpr or`
`14`	`13`	`guard instanceof GTExpr or`
`15`	`14`	`guard instanceof GEExpr or`
`16`	`15`	`guard instanceof EQExpr`