diff --git a/src/base-term/CCHet.ml b/src/base-term/CCHet.ml
index 3d9538af..31512a11 100644
--- a/src/base-term/CCHet.ml
+++ b/src/base-term/CCHet.ml
@@ -139,7 +139,7 @@ end
 module Map = struct
   module M = Map.Make(struct
       type t = int
-      let compare (i:int) j = Stdlib.compare i j
+      let compare (i:int) j = CCInt.compare i j
     end)
 
   type t = exn_pair M.t