Variables are no longer experted (cooking is now implemented).

[helm.git] / helm / software / components / ng_kernel / oCicTypeChecker.mli

diff --git a/helm/software/components/ng_kernel/oCicTypeChecker.mli b/helm/software/components/ng_kernel/oCicTypeChecker.mli
index 07ee59206468dc80775107a1bd91c5603d5764cb..165534310149d1627dfa997d682c357b730e566b 100644 (file)
--- 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