X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FmatitaGui.ml;h=62c15acad20db2c3cda302f869e36eacdeabb1a9;hb=cb25e0f32f7581e1a49d1d1c109108763dfb882c;hp=72e0c9bfc7b14806082331ecd6a06a5018a3dc63;hpb=1d630b67ec62ad84753f04ba33a7dce3dfdbcdf6;p=helm.git

diff --git a/helm/software/matita/matitaGui.ml b/helm/software/matita/matitaGui.ml
index 72e0c9bfc..62c15acad 100644
--- a/helm/software/matita/matitaGui.ml
+++ b/helm/software/matita/matitaGui.ml
@@ -729,7 +729,7 @@ class gui () =
               MultiPassDisambiguator.use_library := saved_use_library;
               unlock_world ()
            | exc ->
-              notify_exn exc;
+              (try notify_exn exc with Sys.Break as e -> notify_exn e);
               unlock_world ()
        in
        (*thread_main ();*)