From b36281dd8cc4d928e793ddd2c769678ddd004deb Mon Sep 17 00:00:00 2001 From: Dave Bartolomeo Date: Wed, 16 Mar 2022 13:07:02 -0400 Subject: [PATCH] Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll Co-authored-by: Mathias Vorreiter Pedersen --- .../semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll b/cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll index afc83a66831..1fad4102d45 100644 --- a/cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll +++ b/cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll @@ -24,7 +24,7 @@ predicate ignoreExprBound(SemExpr e) { none() } * Ignore any inferred zero lower bound on this expression. * * This predicate is to keep the results identical to the original Java implementation. It should be - * removed once we hae the new implementation matching the old results exactly. + * removed once we have the new implementation matching the old results exactly. */ predicate ignoreZeroLowerBound(SemExpr e) { none() }