From 24411b61e9ef92fcca1c4bb203e13334d6fd0ec9 Mon Sep 17 00:00:00 2001
From: Geoffrey White <40627776+geoffw0@users.noreply.github.com>
Date: Mon, 24 Feb 2025 13:59:22 +0000
Subject: [PATCH] Fix typo.

---
 .../query-tests/diagnostics/DataFlowConsistencyCounts.expected  | 2 +-
 .../codeql/dataflow/internal/DataFlowImplConsistency.qll        | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/rust/ql/test/query-tests/diagnostics/DataFlowConsistencyCounts.expected b/rust/ql/test/query-tests/diagnostics/DataFlowConsistencyCounts.expected
index 4d1cdfed89a..7298a11560f 100644
--- a/rust/ql/test/query-tests/diagnostics/DataFlowConsistencyCounts.expected
+++ b/rust/ql/test/query-tests/diagnostics/DataFlowConsistencyCounts.expected
@@ -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 |
diff --git a/shared/dataflow/codeql/dataflow/internal/DataFlowImplConsistency.qll b/shared/dataflow/codeql/dataflow/internal/DataFlowImplConsistency.qll
index e08d8467814..7721a5df044 100644
--- a/shared/dataflow/codeql/dataflow/internal/DataFlowImplConsistency.qll
+++ b/shared/dataflow/codeql/dataflow/internal/DataFlowImplConsistency.qll
@@ -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, _))
   }
 }