aded confirmation dialog for baseuri redefinement

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

diff --git a/helm/matita/matitaSync.ml b/helm/matita/matitaSync.ml
index 76ec992beedb7eea566de178a5e73d8167a20dd8..8f8a66e098fc9378e73ace85e7c2d1a5d8e93e05 100644 (file)
--- a/helm/matita/matitaSync.ml
+++ b/helm/matita/matitaSync.ml
@@ -252,6 +252,7 @@ let remove uri =
           assert (String.sub path 0 7 = "file://");
           String.sub path 7 (String.length path - 7)
         in
+        MatitaLog.debug ("Removing: " ^ UriManager.string_of_uri uri);
         remove_object_from_disk uri path; 
       with
         Http_getter_types.Key_not_found _ -> Http_getter.unregister' uri);