X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fcic%2Fcic.ml;h=20a6cb457dec63c700283ac952204357c38ab0de;hb=a408b8e26e4ea85755847f74bf9ca6998c2b47b0;hp=64825e505dbc717585e0b444cd19e97d1c3762a9;hpb=7f2444c2670cadafddd8785b687ef312158376b0;p=helm.git

diff --git a/components/cic/cic.ml b/components/cic/cic.ml
index 64825e505..20a6cb457 100644
--- a/components/cic/cic.ml
+++ b/components/cic/cic.ml
@@ -62,6 +62,7 @@ type object_flavour =
   | `Remark
   | `Theorem
   | `Variant
+  | `Axiom
   ]
 
 type object_class =
@@ -234,7 +235,7 @@ module CicHash =
   (struct
     type t = term
     let equal = (==)
-    let hash = Hashtbl.hash
+    let hash = Hashtbl.hash_param 100 1000 
    end)
 ;;