- hmysql removed (RIP)

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

diff --git a/matita/matita/matitaclean.ml b/matita/matita/matitaclean.ml
index a3183c16110fdeb03e273b3f55caac0baa1f08f9..f0f45b1263e9d5a0819082390a1bce3441d5a98f 100644 (file)
--- a/matita/matita/matitaclean.ml
+++ b/matita/matita/matitaclean.ml
@@ -58,7 +58,6 @@ let ask_confirmation _ =
 let clean_all () =
   if Helm_registry.get_bool "matita.system" then
     ask_confirmation ();
-  LibraryDb.clean_owner_environment ();
   let prefixes = 
     HExtlib.filter_map 
       (fun s ->