First attempt to implement unification hints.

[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..ae721526b948e6ff1bf723fd133c79ff852bef1e 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) -> 
@@ -27,3 +27,5 @@ let get_obj u =
       NUri.UriHash.add cache u o) l;
     HExtlib.list_last l
 ;;
+
+let clear_cache () = NUri.UriHash.clear cache;;