X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fng_kernel%2FnCicLibrary.ml;h=fa2816773cbc9d3107f62a789e2fcf9b07ee44e4;hb=eaf5880ed69963b3ad37cb1f8a1fd48b2918e58b;hp=f25a0c54c14c731cc08a25104c07e569d7facc42;hpb=cf2b1084c561a6842d7cbc5691943ef53b151aca;p=helm.git

diff --git a/helm/software/components/ng_kernel/nCicLibrary.ml b/helm/software/components/ng_kernel/nCicLibrary.ml
index f25a0c54c..fa2816773 100644
--- a/helm/software/components/ng_kernel/nCicLibrary.ml
+++ b/helm/software/components/ng_kernel/nCicLibrary.ml
@@ -9,6 +9,8 @@
      \ /   This software is distributed as is, NO WARRANTY.     
       V_______________________________________________________________ *)
 
+(* $Id$ *)
+
 exception ObjectNotFound of string Lazy.t
 
 let cache = NUri.UriHash.create 313;;
@@ -17,7 +19,7 @@ let get_obj u =
   try NUri.UriHash.find cache u
   with Not_found ->
     (* in the final implementation should get it from disk *)
-    let ouri = NUri.ouri_of_nuri u in
+    let ouri = NCic2OCic.ouri_of_nuri u in
     let o,_ = CicEnvironment.get_obj CicUniv.oblivion_ugraph ouri in
     let l = OCic2NCic.convert_obj ouri o in
     List.iter (fun (u,_,_,_,_ as o) ->