From f75d2cc521bfa9941efb91f3a23cf554220de8e4 Mon Sep 17 00:00:00 2001
From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Thu, 31 Jan 2008 16:30:40 +0000
Subject: [PATCH] One Obj.magic implemented, trust changed to false.

---
 helm/software/components/ng_kernel/nCicEnvironment.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/helm/software/components/ng_kernel/nCicEnvironment.ml b/helm/software/components/ng_kernel/nCicEnvironment.ml
index 9f75f147c..10d3c198d 100644
--- 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
-- 
2.39.2