From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Wed, 29 Jun 2005 09:01:54 +0000 (+0000)
Subject: fix
X-Git-Tag: INDEXING_NO_PROOFS~10
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=05963c3c472ae13fbc9f5f80bd0fe2a616390340;p=helm.git

fix
---

diff --git a/helm/matita/matitaGtkMisc.ml b/helm/matita/matitaGtkMisc.ml
index 4af50ee12..038aa7fd1 100644
--- a/helm/matita/matitaGtkMisc.ml
+++ b/helm/matita/matitaGtkMisc.ml
@@ -207,12 +207,11 @@ let report_error ~title ~message ?parent () =
   let rc = ref false in
   let callback _ = () in
   let buttons = GWindow.Buttons.ok in
-(  try 
+  try 
     popup_message ~title ~message ~message_type:`ERROR ~callback ~buttons 
     ?parent ()
   with
   | PopupClosed -> ()
-);prerr_endline "AAAAAAA" 
 
 
 let ask_text ~(gui:#gui) ?(title = "") ?(msg = "") ?(multiline = false) () =