Big changes:

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

diff --git a/helm/matita/matitaclean.ml b/helm/matita/matitaclean.ml
index 89b602735704426403882177f64c4d8ee0415466..553823904d5d9561a666db356b1e196c3bd297a0 100644 (file)
--- a/helm/matita/matitaclean.ml
+++ b/helm/matita/matitaclean.ml
@@ -63,7 +63,7 @@ let _ =
         with
           UM.IllFormedUri _ ->
            files_to_remove := suri :: !files_to_remove;
-           let u = MatitacleanLib.baseuri_of_file suri in
+           let u = MatitaMisc.baseuri_of_file suri in
            if String.length u < 5 || String.sub u 0 5 <> "cic:/" then
              begin
                MatitaLog.error ("File " ^ suri ^ " defines a bad baseuri: "^u);