X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2Fmatitaclean.ml;h=912d32cd0de9d66e4538df94b2f5888ab6851688;hb=c53208425a6bbd9890ab35c637a44d997c8ac263;hp=a5669d2e62d94acd4d8012b2784a64d981fd5c77;hpb=7b995596c8b11be95c430646227d01928cc71219;p=helm.git

diff --git a/helm/matita/matitaclean.ml b/helm/matita/matitaclean.ml
index a5669d2e6..912d32cd0 100644
--- a/helm/matita/matitaclean.ml
+++ b/helm/matita/matitaclean.ml
@@ -54,7 +54,7 @@ let main () =
               UM.buri_of_uri (UM.uri_of_string suri)
             with UM.IllFormedUri _ ->
               let u =
-               GrafiteParserMisc.baseuri_of_script ~include_paths:[] suri in
+               DependenciesParser.baseuri_of_script ~include_paths:[] 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);