From 1aa36efd14e9d62adf8232f37bdf55101c70ba43 Mon Sep 17 00:00:00 2001
From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 16 May 2006 08:21:51 +0000
Subject: [PATCH] hashtbl on cic terms is a bit faster

---
 helm/software/components/cic/cic.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/helm/software/components/cic/cic.ml b/helm/software/components/cic/cic.ml
index 64825e505..1becd4442 100644
--- a/helm/software/components/cic/cic.ml
+++ b/helm/software/components/cic/cic.ml
@@ -234,7 +234,7 @@ module CicHash =
   (struct
     type t = term
     let equal = (==)
-    let hash = Hashtbl.hash
+    let hash = Hashtbl.hash_param 100 1000 
    end)
 ;;
 
-- 
2.39.2