X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FoCicTypeChecker.mli;h=165534310149d1627dfa997d682c357b730e566b;hb=2f9546a7604d7e370f2eef038302c3cccdadf223;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