fixed -debug

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

diff --git a/helm/matita/matitacLib.ml b/helm/matita/matitacLib.ml
index a10594ab2a68ebf3f0f909d4140ce2ae165c86c5..413b3b5521d2ac35bc9eaf2b476efbb2ca42aed9 100644 (file)
--- a/helm/matita/matitacLib.ml
+++ b/helm/matita/matitacLib.ml
@@ -140,6 +140,7 @@ let main ~mode =
   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
@@ -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