]> matita.cs.unibo.it Git - helm.git/commitdiff
hashtbl on cic terms is a bit faster
authorEnrico Tassi <enrico.tassi@inria.fr>
Tue, 16 May 2006 08:21:51 +0000 (08:21 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Tue, 16 May 2006 08:21:51 +0000 (08:21 +0000)
helm/software/components/cic/cic.ml

index 64825e505dbc717585e0b444cd19e97d1c3762a9..1becd44428bd3b4f9139c01280e0d47ef48de26e 100644 (file)
@@ -234,7 +234,7 @@ module CicHash =
   (struct
     type t = term
     let equal = (==)
-    let hash = Hashtbl.hash
+    let hash = Hashtbl.hash_param 100 1000 
    end)
 ;;