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 index 9c44573a0b3..a6cacd8b4a7 100644 --- 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 { /** 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