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 fa2816773cbc9d3107f62a789e2fcf9b07ee44e4..ae721526b948e6ff1bf723fd133c79ff852bef1e 100644 (file)
--- a/helm/software/components/ng_kernel/nCicLibrary.ml
+++ b/helm/software/components/ng_kernel/nCicLibrary.ml
@@ -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;;