UM.buri_of_uri (UM.uri_of_string suri)
with UM.IllFormedUri _ ->
files_to_remove := suri :: !files_to_remove;
- let u = MatitaMisc.baseuri_of_file suri in
+ let u = GrafiteMisc.baseuri_of_file suri in
if String.length u < 5 || String.sub u 0 5 <> "cic:/" then begin
HLog.error (sprintf "File %s defines a bad baseuri: %s"
suri u);
files);
LibraryClean.clean_baseuris ~basedir !uris_to_remove;
let moos =
- List.map (MatitaMisc.obj_file_of_script ~basedir) !files_to_remove
+ List.map (GrafiteMisc.obj_file_of_script ~basedir) !files_to_remove
in
List.iter HExtlib.safe_remove moos