Serious bug fixed: the max of two universes was computed using the polymorphic

[helm.git] / helm / software / components / ng_kernel / nCicLibrary.ml

diff --git a/helm/software/components/ng_kernel/nCicLibrary.ml b/helm/software/components/ng_kernel/nCicLibrary.ml
index a5ecefad8fb0dcd18ee4879f8dbfb95ebcdd5e35..fa2816773cbc9d3107f62a789e2fcf9b07ee44e4 100644 (file)
--- a/helm/software/components/ng_kernel/nCicLibrary.ml
+++ b/helm/software/components/ng_kernel/nCicLibrary.ml
@@ -19,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) ->