diff --git a/cpp/ql/test/library-tests/ir/range-analysis/Overflow.ql b/cpp/ql/test/library-tests/ir/range-analysis/Overflow.ql index d20c68e59b9..e0491e6e0ed 100644 --- a/cpp/ql/test/library-tests/ir/range-analysis/Overflow.ql +++ b/cpp/ql/test/library-tests/ir/range-analysis/Overflow.ql @@ -9,8 +9,6 @@ class RangeAnalysisTest extends InlineExpectationsTest { override predicate hasActualResult(Location location, string element, string tag, string value) { exists(Expr e | - /*call.getArgument(0) = e and - call.getTarget().hasName("range") and*/ tag = "overflow" and element = e.toString() and location = e.getLocation() and