added simpl

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

diff --git a/helm/matita/matitaDb.ml b/helm/matita/matitaDb.ml
index 878bd4fe7656dbeba5326b572967d666643a86c5..aef37a2d0bee52f43f54c0374361073cdceb4f36 100644 (file)
--- 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 ->