Skip to content

Commit 5b2ad42

Browse files
Fix typo in BasicBlock.qll
1 parent 7619f1d commit 5b2ad42

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

shared/controlflow/codeql/controlflow/BasicBlock.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -182,7 +182,7 @@ module Make<LocationSig Location, InputSig<Location> Input> {
182182
bbIDominates(this, succ) and
183183
// The above is not sufficient to ensure that `succ` can only be reached
184184
// through `s`. To see why, consider this example corresponding to an
185-
// `if` statement without an `else` block and whe `A` is the basic block
185+
// `if` statement without an `else` block and where `A` is the basic block
186186
// following the `if` statement:
187187
// ```
188188
// ... --> cond --[true]--> ... --> A

0 commit comments

Comments
 (0)