From 2efa811b3f579ca75b0eb2a074ade260e9b41291 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 7 Jun 2019 11:34:06 -0500
Subject: [PATCH] fix: more precise signature

---
 src/core/Sidekick_core.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/Sidekick_core.ml b/src/core/Sidekick_core.ml
index 24106a0f..fb11e67e 100644
--- a/src/core/Sidekick_core.ml
+++ b/src/core/Sidekick_core.ml
@@ -83,7 +83,7 @@ module type TERM = sig
 
     val iter_dag : t -> (t -> unit) -> unit
 
-    module Tbl : Hashtbl.S with type key = t
+    module Tbl : CCHashtbl.S with type key = t
   end
 end