Unlocking the interface was not performed as the last action of the callback.

diff --git a/matita/matitaGui.ml b/matita/matitaGui.ml
index 2a607d9fcf0cac59bf7a538d90b82c8239700952..840d057c2bd897334befce94b52994e7bba173c0 100644 (file)
--- a/matita/matitaGui.ml
+++ b/matita/matitaGui.ml
@@ -463,8 +463,8 @@ class gui () =
            f ();
            unlock_world ()
           with exc ->
-           unlock_world ();
-           notify_exn exc
+           notify_exn exc;
+           unlock_world ()
        in
         worker_thread := Some (Thread.create thread_main ()) in
       let kill_worker =