From 22a4eca2fd746d689d491140d43cfd5ffe31f19e Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Sat, 25 Aug 2007 13:31:11 +0000 Subject: [PATCH] thread-based interface activated again --- matita/matitaGui.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/matita/matitaGui.ml b/matita/matitaGui.ml index 2d5d8fa0a..fde6ba1ae 100644 --- a/matita/matitaGui.ml +++ b/matita/matitaGui.ml @@ -783,8 +783,8 @@ class gui () = notify_exn exc; unlock_world () in - thread_main (); - (* worker_thread := Some (Thread.create thread_main ()) *) + (*thread_main ();*) + worker_thread := Some (Thread.create thread_main ()) in let kill_worker = (* the following lines are from Xavier Leroy: http://alan.petitepomme.net/cwn/2005.11.08.html *) -- 2.39.2