matitaclean splitted in matitacleanLib and matitaclean.

[helm.git] / helm / matita / matitaDb.ml

diff --git a/helm/matita/matitaDb.ml b/helm/matita/matitaDb.ml
index 17aac37450cf091faad1fbaced5d1589eb89f408..b8f91a342f4d40df64c3252b54b8b09a832f964f 100644 (file)
--- a/helm/matita/matitaDb.ml
+++ b/helm/matita/matitaDb.ml
@@ -161,3 +161,8 @@ let xpointers_of_ind uri =
   let l = ref [] in
   Mysql.iter rc (fun a ->  match a.(0) with None ->()|Some a -> l := a:: !l);
   List.map UriManager.uri_of_string !l
+
+let reset_owner_environment () =
+  clean_owner_environment ();
+  create_owner_environment ()
+