X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FcicTypeChecker.mli;h=3973c16c105515cf064d17cf39f6b8dba9ccca8d;hb=bc2a1fce21a66af077172344854c709b64b7fe82;hp=95ee658c7de98b637cc10261e8b6317efa4d3959;hpb=e4525d2a61f8bc9967d165d7bfd710037fb09d79;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/cicTypeChecker.mli b/helm/ocaml/cic_proof_checking/cicTypeChecker.mli
index 95ee658c7..3973c16c1 100644
--- a/helm/ocaml/cic_proof_checking/cicTypeChecker.mli
+++ b/helm/ocaml/cic_proof_checking/cicTypeChecker.mli
@@ -27,7 +27,7 @@
 exception TypeCheckerFailure of string
 exception AssertFailure of string
 
-val typecheck : UriManager.uri -> unit
+val typecheck : UriManager.uri -> Cic.obj
 
 (* FUNCTIONS USED ONLY IN THE TOPLEVEL *)