X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fcomponents%2Flibrary%2FlibraryClean.ml;h=e59b42227388c433f50b8a5c7c2a95a688a07515;hb=70aa6dc959dc1d49f751c183367c3b73393c938b;hp=6f58bb54eaadb79274c1cca29328b1a7b4aaab0f;hpb=cee0c3ca597ebbff2250674c255ed1bc909521fb;p=helm.git

diff --git a/matita/components/library/libraryClean.ml b/matita/components/library/libraryClean.ml
index 6f58bb54e..e59b42227 100644
--- a/matita/components/library/libraryClean.ml
+++ b/matita/components/library/libraryClean.ml
@@ -220,7 +220,7 @@ let moo_root_dir = lazy (
 *)
 
 let rec close_db cache_of_processed_baseuri uris next =
-  prerr_endline "CLOSE_DB "; uris (* MATITA 1.0 *)
+  uris (* MATITA 1.0 *)
 ;;
 
 let clean_baseuris ?(verbose=true) buris =