X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fmatitaclean.ml;h=d04e9fba9fab806ac32f0bc337f8967d31ca6a75;hb=f6b7c6ae353e014761a3d24dbc87e00d828d7f2d;hp=f0f45b1263e9d5a0819082390a1bce3441d5a98f;hpb=42aa528129728611cae9da02904886522b08f94a;p=helm.git

diff --git a/matita/matita/matitaclean.ml b/matita/matita/matitaclean.ml
index f0f45b126..d04e9fba9 100644
--- a/matita/matita/matitaclean.ml
+++ b/matita/matita/matitaclean.ml
@@ -27,7 +27,6 @@
 
 open Printf
 
-module UM = UriManager
 module TA = GrafiteAst
 
 let clean_suffixes = [ ".moo"; ".lexicon"; ".metadata"; ".xml.gz" ]
@@ -107,14 +106,15 @@ let main () =
    List.fold_left
      (fun uris_to_remove suri ->
        let uri = 
-         try
-           UM.buri_of_uri (UM.uri_of_string suri)
-         with UM.IllFormedUri _ ->
+         (*MATITA 1.0, CSC: verify that suri is a reasonable uri *)
+         (*try*)
+           NUri.baseuri_of_uri (NUri.uri_of_string suri)
+         (*with UM.IllFormedUri _ ->
            let _,u,_,_ = Librarian.baseuri_of_script ~include_paths:[] suri in
            if Librarian.is_uri u then u else begin
              HLog.error (sprintf "File %s defines a bad baseuri: %s" suri u);
              exit 1
-           end 
+           end *)
        in
         uri::uris_to_remove) [] files
   in