X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_acic%2FdoubleTypeInference.mli;h=892e09f8ac4d1172f96f4f1a8c42cbb265fca5f6;hb=f1dc70ca55058b2983cd23b829d856df3b41b9a7;hp=138aad83440bcb062b00e637ca8a93bbfdf3898e;hpb=9a0e4f3be9f70662f18d2d3b6dd60ae79fba565b;p=helm.git

diff --git a/helm/ocaml/cic_acic/doubleTypeInference.mli b/helm/ocaml/cic_acic/doubleTypeInference.mli
index 138aad834..892e09f8a 100644
--- a/helm/ocaml/cic_acic/doubleTypeInference.mli
+++ b/helm/ocaml/cic_acic/doubleTypeInference.mli
@@ -14,16 +14,9 @@ val number_new_type_of_aux'_prop: int ref
 
 type types = {synthesized : Cic.term ; expected : Cic.term option};;
 
-module CicHash :
-  sig
-    type 'a t
-    val find : 'a t -> Cic.term -> 'a
-    val empty: unit -> 'a t
-  end
-;;
-
 val double_type_of :
- Cic.metasenv -> Cic.context -> Cic.term -> Cic.term option -> types CicHash.t
+ Cic.metasenv -> Cic.context -> Cic.term -> Cic.term option ->
+  types Cic.CicHash.t
 
 (** Auxiliary functions **)