X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_omdoc%2FdoubleTypeInference.mli;h=138aad83440bcb062b00e637ca8a93bbfdf3898e;hb=a6d30b023b3b9b729563a94f278771c8cf32e123;hp=20230e3bb0529ca2a36a0eb4ab94df8aa7d4cfe7;hpb=174922d9d8f206ee4e2e87ebf90dea06613ed2fa;p=helm.git

diff --git a/helm/ocaml/cic_omdoc/doubleTypeInference.mli b/helm/ocaml/cic_omdoc/doubleTypeInference.mli
index 20230e3bb..138aad834 100644
--- a/helm/ocaml/cic_omdoc/doubleTypeInference.mli
+++ b/helm/ocaml/cic_omdoc/doubleTypeInference.mli
@@ -18,6 +18,7 @@ module CicHash :
   sig
     type 'a t
     val find : 'a t -> Cic.term -> 'a
+    val empty: unit -> 'a t
   end
 ;;