X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic%2Fcic.ml;h=624a3021640ea23eb3b961a06578dbf72ed4d539;hb=2d23138f12504ba92274f91a5ced014e1a20511e;hp=aacaabda95490e4f9e1cfc9df946f6be70e08c8c;hpb=33c27a9941fb0ba8be59e041140aa873b4c4d700;p=helm.git

diff --git a/helm/ocaml/cic/cic.ml b/helm/ocaml/cic/cic.ml
index aacaabda9..624a30216 100644
--- a/helm/ocaml/cic/cic.ml
+++ b/helm/ocaml/cic/cic.ml
@@ -222,3 +222,12 @@ type anntarget =
  | Conjecture of annconjecture
  | Hypothesis of annhypothesis
 
+module CicHash =
+ Hashtbl.Make
+  (struct
+    type t = term
+    let equal = (==)
+    let hash = Hashtbl.hash
+   end)
+;;
+