From db4963ada07a63fab467bf549c0660f1549bb8e7 Mon Sep 17 00:00:00 2001 From: Dave Bartolomeo Date: Wed, 16 Mar 2022 13:06:54 -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 d99b1d073c1..afc83a66831 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 @@ -16,7 +16,7 @@ predicate ignoreSsaReadCopy(SemExpr e) { none() } * Ignore the 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 ignoreExprBound(SemExpr e) { none() }