MatitaLog.debug "l2:";
List.iter MatitaLog.debug l2
-let remove uri =
+let remove ~verbose uri =
let derived_uris_of_uri uri =
UriManager.innertypesuri_of_uri uri ::
(match UriManager.bodyuri_of_uri uri with
List.iter
(fun uri ->
(try
- MatitaLog.debug ("Removing: " ^ UriManager.string_of_uri uri);
+ if verbose then
+ MatitaLog.debug ("Removing: " ^ UriManager.string_of_uri uri);
MatitaMisc.safe_remove (Http_getter.resolve' uri)
with Http_getter_types.Key_not_found _ -> ());
remove_coercion uri;
ignore (MatitaDb.remove_uri uri))
to_remove
-