X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicEnvironment.ml;h=278f7fff5802764d013951d9f457532c703a46ef;hb=085cfc8bc4f775e8879a31c6de35d08aed500332;hp=10d3c198dea12d1e4a47c7188cb6f9dbbbe6fd0e;hpb=3f5fd615a881e80716b35f4f0084934850555a55;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicEnvironment.ml b/helm/software/components/ng_kernel/nCicEnvironment.ml
index 10d3c198d..278f7fff5 100644
--- a/helm/software/components/ng_kernel/nCicEnvironment.ml
+++ b/helm/software/components/ng_kernel/nCicEnvironment.ml
@@ -1,6 +1,6 @@
 
-let get_checked_obj nuri =
-  let ouri = NUriManager.ouri_of_nuri nuri in
+let get_checked_obj reference =
+  let ouri = NReference.ouri_of_reference reference in
   let o,_ = 
     CicEnvironment.get_cooked_obj ~trust:false CicUniv.oblivion_ugraph 
       ouri