Fix wrong merge

codex-semantics-library · May 15, 2024 · 5cde1a8 · 5cde1a8
1 parent cf805e7
commit 5cde1a8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/patriciaTree.mli b/patriciaTree.mli
@@ -1474,8 +1474,8 @@ module type HASHED_VALUE = sig
          {[
             type any = Any : 'a HMap.t -> any
             module MapOfMaps = MakeMap(struct
-              type t = Any : 'a HMap.t -> t
-              let to_int (Any x) = Node.to_int x
+              type t = any
+              let to_int (Any x) = HMap.to_int x
             end)
          ]}
          Using this can lead to unexpected behaviors: