X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FmatitacLib.ml;h=8552cbf8629ba98f72086fd58c11d67512bd9d49;hb=97c2d258a5c524eb5c4b85208899d80751a2c82f;hp=0db34ea88012a17ef047b0ffc5ed7cd6d065fcd2;hpb=afe21e48aefe81db3ca150fac9a5bbfbc893fa59;p=helm.git

diff --git a/helm/matita/matitacLib.ml b/helm/matita/matitacLib.ml
index 0db34ea88..8552cbf86 100644
--- a/helm/matita/matitacLib.ml
+++ b/helm/matita/matitacLib.ml
@@ -134,12 +134,13 @@ let main ~mode =
   Sys.catch_break true;
   let origcb = MatitaLog.get_log_callback () in
   let newcb tag s =
-        match tag with
-        | `Debug | `Message -> ()
-        | `Warning | `Error -> origcb tag s
+    match tag with
+    | `Debug | `Message -> ()
+    | `Warning | `Error -> origcb tag s
   in
   if Helm_registry.get_bool "matita.quiet" then
     MatitaLog.set_log_callback newcb;
+  let matita_debug = Helm_registry.get_bool "matita.debug" in
   try
     let time = Unix.time () in
     if Helm_registry.get_bool "matita.quiet" then
@@ -181,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));
@@ -207,7 +208,7 @@ let main ~mode =
      else
        pp_ocaml_mode ()
   | exn ->
-      if Helm_registry.get_bool "matita.debug" then raise exn;
+      if matita_debug then raise exn;
       if mode = `COMPILER then 
         clean_exit (Some 3)
       else