Update cpp/ql/lib/experimental/semmle/code/cpp/semantic/analysis/RangeAnalysisSpecific.qll

Dave Bartolomeo · MathiasVP · web-flow · commit db4963ada07a · 2022-03-16T13:06:54.000-04:00
Co-authored-by: Mathias Vorreiter Pedersen &lt;mathiasvp@github.com&gt;
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
@@ -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() }
 

Original file line number	Diff line number	Diff line change
`@@ -16,7 +16,7 @@ predicate ignoreSsaReadCopy(SemExpr e) { none() }`
`16`	`16`	`* Ignore the bound on this expression.`
`17`	`17`	`*`
`18`	`18`	`* This predicate is to keep the results identical to the original Java implementation. It should be`
`19`		`- * removed once we hae the new implementation matching the old results exactly.`
	`19`	`+ * removed once we have the new implementation matching the old results exactly.`
`20`	`20`	`*/`
`21`	`21`	`predicate ignoreExprBound(SemExpr e) { none() }`
`22`	`22`