Update cpp/ql/lib/semmle/code/cpp/rangeanalysis/new/internal/semantic/analysis/RangeAnalysisStage.qll

MathiasVP · jketema · web-flow · commit 98e670f25c70 · 2023-08-04T14:34:03.000+02:00
Co-authored-by: Jeroen Ketema &lt;93738568+jketema@users.noreply.github.com&gt;
diff --git a/cpp/ql/lib/semmle/code/cpp/rangeanalysis/new/internal/semantic/analysis/RangeAnalysisStage.qll b/cpp/ql/lib/semmle/code/cpp/rangeanalysis/new/internal/semantic/analysis/RangeAnalysisStage.qll
@@ -116,7 +116,7 @@ signature module LangSig<DeltaSig D> {
   /** A reason for an inferred bound. */
   class SemReason {
     /**
-     * Returns `this` if `reason` is not an `SemTypeReason`. Otherwise,
+     * Returns `this` if `reason` is not a `SemTypeReason`. Otherwise,
      * this predicate returns `SemTypeReason`.
      *
      * This predicate ensures that we propagate `SemTypeReason` all the way

Original file line number	Diff line number	Diff line change
`@@ -116,7 +116,7 @@ signature module LangSig<DeltaSig D> {`
`116`	`116`	`/** A reason for an inferred bound. */`
`117`	`117`	`class SemReason {`
`118`	`118`	`/**`
`119`		- * Returns `this` if `reason` is not an `SemTypeReason`. Otherwise,
	`119`	+ * Returns `this` if `reason` is not a `SemTypeReason`. Otherwise,
`120`	`120`	* this predicate returns `SemTypeReason`.
`121`	`121`	`*`
`122`	`122`	* This predicate ensures that we propagate `SemTypeReason` all the way