Cooking implemented (not tested yet).

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

diff --git a/helm/software/components/ng_kernel/oCicTypeChecker.ml b/helm/software/components/ng_kernel/oCicTypeChecker.ml
index 100e572af90db06f63e7b5892c08734b80f27156..396144a5d3c9b499dd7fb6829e282292e5a0a16b 100644 (file)
--- a/helm/software/components/ng_kernel/oCicTypeChecker.ml
+++ b/helm/software/components/ng_kernel/oCicTypeChecker.ml
@@ -1,7 +1,8 @@
 
-let typecheck_obj obj =
+let typecheck_obj uri obj =
   try 
-    NCicTypeChecker.typecheck_obj (OCic2NCic.convert_obj obj); true
+    NCicTypeChecker.typecheck_obj (HExtlib.list_last (OCic2NCic.convert_obj uri
+    obj)); true
   with 
     | NCicTypeChecker.TypeCheckerFailure _
     | NCicTypeChecker.AssertFailure _ -> false