From 6df11c2962188d763782ad1483de99273492e9cc Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Tue, 8 Sep 2020 23:40:47 -0400
Subject: [PATCH] fix compat bug

---
 src/base-term/CCHet.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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