X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FoCicTypeChecker.mli;h=165534310149d1627dfa997d682c357b730e566b;hb=bc698deb9b8416c2b903b78a6053d59f6cc2a8ec;hp=07ee59206468dc80775107a1bd91c5603d5764cb;hpb=5f926fd66f345c273bc66cc3ab9b1344ad0eac25;p=helm.git

diff --git a/helm/software/components/ng_kernel/oCicTypeChecker.mli b/helm/software/components/ng_kernel/oCicTypeChecker.mli
index 07ee59206..165534310 100644
--- a/helm/software/components/ng_kernel/oCicTypeChecker.mli
+++ b/helm/software/components/ng_kernel/oCicTypeChecker.mli
@@ -26,5 +26,5 @@
 (* typechecks the OLD object using the NEW type checker,
  * if illtyped returns false (no exceptions raised)
  *)
-val typecheck_obj : Cic.obj -> bool
+val typecheck_obj : UriManager.uri -> Cic.obj -> bool