mirror of
https://github.com/github/codeql.git
synced 2025-12-16 16:53:25 +01:00
Fix typo.
This commit is contained in:
@@ -24,6 +24,6 @@
|
||||
| PostUpdateNode should not be the target of local flow | 0 |
|
||||
| PostUpdateNode should not equal its pre-update node | 0 |
|
||||
| Read step does not preserve enclosing callable | 0 |
|
||||
| Speculative step already hasM Model | 0 |
|
||||
| Speculative step already has Model | 0 |
|
||||
| Store step does not preserve enclosing callable | 0 |
|
||||
| Type compatibility predicate is not reflexive | 0 |
|
||||
|
||||
@@ -441,7 +441,7 @@ module MakeConsistency<
|
||||
result =
|
||||
count(DataFlowCall call, Node receiver | lambdaCallEnclosingCallableMismatch(call, receiver))
|
||||
or
|
||||
type = "Speculative step already hasM Model" and
|
||||
type = "Speculative step already has Model" and
|
||||
result = count(Node n1, Node n2 | speculativeStepAlreadyHasModel(n1, n2, _))
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user