X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FcicTypeChecker.mli;h=8c0354398e4d375d21eacdf59d9e1940c3818aef;hb=ef0f69ef068c79109420f8f2afdfd93d19fa6604;hp=329b0508335fb0785d9ba47e6cf68f9d1ab8e88c;hpb=489679090cdd70dfd1ad57e681970fd6f0b6e6f9;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/cicTypeChecker.mli b/helm/ocaml/cic_proof_checking/cicTypeChecker.mli
index 329b05083..8c0354398 100644
--- a/helm/ocaml/cic_proof_checking/cicTypeChecker.mli
+++ b/helm/ocaml/cic_proof_checking/cicTypeChecker.mli
@@ -32,7 +32,6 @@ exception NotPositiveOccurrences of string
 exception NotWellFormedTypeOfInductiveConstructor of string
 exception WrongRequiredArgument of string
 val typecheck : UriManager.uri -> unit
-val type_of: Cic.term -> Cic.term
 
 (* used only in the toplevel *)
 (* type_of_aux' metasenv context term *)