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
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));
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