From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Tue, 16 May 2006 08:21:51 +0000 (+0000)
Subject: hashtbl on cic terms is a bit faster
X-Git-Tag: 0.4.95@7852~1467
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=1b1c51a6172c0b41b7e5cf01cb0257a60e6f5622;p=helm.git

hashtbl on cic terms is a bit faster
---

diff --git a/components/cic/cic.ml b/components/cic/cic.ml
index 64825e505..1becd4442 100644
--- a/components/cic/cic.ml
+++ b/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)
 ;;