uri -> reference (2)

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

diff --git a/helm/software/components/ng_kernel/nCicEnvironment.ml b/helm/software/components/ng_kernel/nCicEnvironment.ml
index 9f75f147c3e50b6f359eb419fec00a82d41a027d..278f7fff5802764d013951d9f457532c703a46ef 100644 (file)
--- a/helm/software/components/ng_kernel/nCicEnvironment.ml
+++ b/helm/software/components/ng_kernel/nCicEnvironment.ml
@@ -1,8 +1,8 @@
 
-let get_checked_obj nuri =
-  let ouri = Obj.magic nuri in
+let get_checked_obj reference =
+  let ouri = NReference.ouri_of_reference reference in
   let o,_ = 
-    CicEnvironment.get_cooked_obj ~trust:true CicUniv.oblivion_ugraph 
+    CicEnvironment.get_cooked_obj ~trust:false CicUniv.oblivion_ugraph 
       ouri 
   in
     OCic2NCic.convert_obj o