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