# HG changeset patch
# User wenzelm
# Date 1248803382 -7200
# Node ID 8b03a3daba5da3faed6fe405553468a8cd2f57f2
# Parent  d91d394c4cab3704616ef0fc88f497b6fa4701d4
Future.shutdown before loading sequentially -- workaround scheduler deadlock;

diff -r d91d394c4cab -r 8b03a3daba5d src/HOL/ex/ROOT.ML
--- a/src/HOL/ex/ROOT.ML	Tue Jul 28 18:17:36 2009 +0200
+++ b/src/HOL/ex/ROOT.ML	Tue Jul 28 19:49:42 2009 +0200
@@ -68,6 +68,7 @@
   "Landau"
 ];
 
+Future.shutdown ();
 (setmp_noncritical proofs 2 (setmp_noncritical Multithreading.max_threads 1 use_thy))
   "Hilbert_Classical";