X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitaDb.ml;h=aef37a2d0bee52f43f54c0374361073cdceb4f36;hb=46f19eadce5f3a11c0ae26934fd8d1b597906416;hp=878bd4fe7656dbeba5326b572967d666643a86c5;hpb=11d81280208345b189c174e2ae19a6ab45e2b03a;p=helm.git

diff --git a/helm/matita/matitaDb.ml b/helm/matita/matitaDb.ml
index 878bd4fe7..aef37a2d0 100644
--- a/helm/matita/matitaDb.ml
+++ b/helm/matita/matitaDb.ml
@@ -65,7 +65,10 @@ let clean_owner_environment () =
     (fun uri ->
       let uri = Pcre.replace ~rex:xpointer_RE ~templ:"" uri in
       List.iter
-        (fun suffix -> Http_getter.unregister (uri ^ suffix))
+        (fun suffix -> 
+          (*prerr_endline ("unregistering " ^ uri ^ suffix);*)
+          Http_getter.unregister (uri ^ suffix))
+        
         [""; ".body"; ".types"])
     owned_uris;
   List.iter (fun statement ->