From 5b2ad42781521bd1e9b36ed36f6a16e85e14b405 Mon Sep 17 00:00:00 2001 From: intrigus-lgtm <60750685+intrigus-lgtm@users.noreply.github.com> Date: Thu, 6 Feb 2025 01:23:10 +0100 Subject: [PATCH] Fix typo in BasicBlock.qll --- shared/controlflow/codeql/controlflow/BasicBlock.qll | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/shared/controlflow/codeql/controlflow/BasicBlock.qll b/shared/controlflow/codeql/controlflow/BasicBlock.qll index 57f6a310d182..bf18a2a447b0 100644 --- a/shared/controlflow/codeql/controlflow/BasicBlock.qll +++ b/shared/controlflow/codeql/controlflow/BasicBlock.qll @@ -182,7 +182,7 @@ module Make Input> { bbIDominates(this, succ) and // The above is not sufficient to ensure that `succ` can only be reached // through `s`. To see why, consider this example corresponding to an - // `if` statement without an `else` block and whe `A` is the basic block + // `if` statement without an `else` block and where `A` is the basic block // following the `if` statement: // ``` // ... --> cond --[true]--> ... --> A