(fun uri ->
let uri = Pcre.replace ~rex:xpointer_RE ~templ:"" uri in
List.iter
- (fun suffix -> Http_getter_storage.remove (uri ^ suffix ^ ".xml.gz"))
+ (fun suffix -> MatitaMisc.safe_remove (uri ^ suffix ^ ".xml.gz"))
[""; ".body"; ".types"])
owned_uris;
List.iter (fun statement ->