From 98e670f25c702f09b81bf2ef2beb39aa291cea1c Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Fri, 4 Aug 2023 14:34:03 +0200 Subject: [PATCH] Update cpp/ql/lib/semmle/code/cpp/rangeanalysis/new/internal/semantic/analysis/RangeAnalysisStage.qll Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com> --- .../new/internal/semantic/analysis/RangeAnalysisStage.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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