From: Wilmer Ricciotti <ricciott@cs.unibo.it>
Date: Thu, 31 Jan 2008 16:30:40 +0000 (+0000)
Subject: One Obj.magic implemented, trust changed to false.
X-Git-Tag: make_still_working~5641
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f75d2cc521bfa9941efb91f3a23cf554220de8e4;p=helm.git

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 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