ocaml 3.09 transition

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

diff --git a/helm/matita/matitacLib.ml b/helm/matita/matitacLib.ml
index 413b3b5521d2ac35bc9eaf2b476efbb2ca42aed9..8552cbf8629ba98f72086fd58c11d67512bd9d49 100644 (file)
--- 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));