One Obj.magic implemented, trust changed to false.

diff --git a/helm/software/components/ng_kernel/nCicEnvironment.ml b/helm/software/components/ng_kernel/nCicEnvironment.ml
index 9f75f147c3e50b6f359eb419fec00a82d41a027d..10d3c198dea12d1e4a47c7188cb6f9dbbbe6fd0e 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 ouri = NUriManager.ouri_of_nuri nuri 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