X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitacLib.ml;h=8552cbf8629ba98f72086fd58c11d67512bd9d49;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=413b3b5521d2ac35bc9eaf2b476efbb2ca42aed9;hpb=9815046bf21f6423225b33faf02df25ac7fcd599;p=helm.git

diff --git a/helm/matita/matitacLib.ml b/helm/matita/matitacLib.ml
index 413b3b552..8552cbf86 100644
--- a/helm/matita/matitacLib.ml
+++ b/helm/matita/matitacLib.ml
@@ -182,7 +182,7 @@ let main ~mode =
      end
     else
      begin
-       let moo_fname = MatitaMisc.obj_file_of_script fname in
+       let moo_fname = MatitacleanLib.obj_file_of_script fname in
        MatitaMoo.save_moo moo_fname moo_content_rev;
        MatitaLog.message 
          (sprintf "execution of %s completed in %s." fname (hou^min^sec));