Fix ordering of queries by deduplicating indices.

goblint · Nov 23, 2023 · 9bb9ae2 · 9bb9ae2
1 parent 6389a7f
commit 9bb9ae2
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