rebase

OCamlPro · May 10, 2024 · 0446b52 · 0446b52
1 parent 53fc389
commit 0446b52
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/lib/structures/expr.ml b/src/lib/structures/expr.ml
@@ -1990,15 +1990,15 @@ module Triggers = struct
 
     | { f = Op (Access a1) ; xs=[t1]; _ },
       { f = Op (Access a2) ; xs=[t2]; _ } ->
-      let c = Hstring.compare a1 a2 in (* should be Hstring.compare *)
+      let c = Uid.compare a1 a2 in
       if c<>0 then c else cmp_trig_term t1 t2
 
     | { f = Op (Access _); _ }, _ -> -1
     | _, { f = Op (Access _); _ } -> 1
 
     | { f = Op (Destruct a1) ; xs = [t1]; _ },
       { f = Op (Destruct a2) ; xs = [t2]; _ } ->
-      let c = Hstring.compare a1 a2 in (* should be Hstring.compare *)
+      let c = Uid.compare a1 a2 in
       if c<>0 then c else cmp_trig_term t1 t2
 
     | { f = Op (Destruct _); _ }, _ -> -1