Merge pull request #1270 from goblint/query_ordering

Fix ordering of queries by deduplicating indices.
goblint · Nov 23, 2023 · 2f5e555 · 2f5e555
2 parents 6389a7f + 9bb9ae2
commit 2f5e555
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/domains/queries.ml b/src/domains/queries.ml
@@ -331,8 +331,8 @@ struct
     | Any (MustTermLoop _) -> 53
     | Any MustTermAllLoops -> 54
     | Any IsEverMultiThreaded -> 55
-    | Any (TmpSpecial _) -> 53
-    | Any (IsAllocVar _) -> 54
+    | Any (TmpSpecial _) -> 56
+    | Any (IsAllocVar _) -> 57
 
   let rec compare a b =
     let r = Stdlib.compare (order a) (order b) in