X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fmatita.ml;h=1b4cc5a3cd495042c550710f699a84b1685229ba;hb=9a7c77e5c29d764109a104aa629761ba90cb511c;hp=e9965c4ca130748e0aaf493ad5b93994616142e1;hpb=290350836dd1727b3e3cdd4ee71e666a39cc4a09;p=helm.git

diff --git a/helm/software/matita/matita.ml b/helm/software/matita/matita.ml
index e9965c4ca..1b4cc5a3c 100644
--- a/helm/software/matita/matita.ml
+++ b/helm/software/matita/matita.ml
@@ -333,7 +333,7 @@ let _ =
         prerr_endline "Still cleaning the library: don't be impatient!"));
    prerr_endline "Matita is cleaning up. Please wait.";
    let baseuri = 
-     GrafiteTypes.get_baseuri (MatitaScript.current ())#grafite_status
+    (MatitaScript.current ())#grafite_status#baseuri
    in
      LibraryClean.clean_baseuris [baseuri]