From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 13 Apr 2006 14:20:25 +0000 (+0000)
Subject: -debug should work better
X-Git-Tag: 0.4.95@7852~1512
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=cbb6a26ba001722c0e10210a3e3d625c095f6767;p=helm.git

-debug should work better
---

diff --git a/matita/matitaMathView.ml b/matita/matitaMathView.ml
index a1eef1067..1e5cb16a8 100644
--- a/matita/matitaMathView.ml
+++ b/matita/matitaMathView.ml
@@ -810,11 +810,12 @@ class cicBrowser_impl ~(history:MatitaTypes.mathViewer_entry MatitaMisc.history)
     [ "dir", GdkPixbuf.from_file (MatitaMisc.image_path "matita-folder.png");
       "obj", GdkPixbuf.from_file (MatitaMisc.image_path "matita-object.png") ]
   in
+  let b = (not (Helm_registry.get_bool "matita.debug")) in
   let handle_error f =
     try
       f ()
     with exn ->
-      if not (Helm_registry.get_bool "matita.debug") then
+      if b then
         fail (snd (MatitaExcPp.to_string exn))
       else raise exn
   in