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 10d3c198dea12d1e4a47c7188cb6f9dbbbe6fd0e..278f7fff5802764d013951d9f457532c703a46ef 100644 (file)
--- 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