--- a/src/HOL/Tools/Sledgehammer/async_manager_legacy.ML Tue Jul 21 14:07:06 2015 +0200
+++ b/src/HOL/Tools/Sledgehammer/async_manager_legacy.ML Tue Jul 21 14:12:45 2015 +0200
@@ -28,7 +28,8 @@
Runtime.debugging NONE body () handle exn =>
if Exn.is_interrupt exn then ()
else writeln ("## INTERNAL ERROR ##\n" ^ Runtime.exn_message exn),
- Simple_Thread.attributes {stack_limit = NONE, interrupts = interrupts});
+ Simple_Thread.attributes
+ {name = "async_manager", stack_limit = NONE, interrupts = interrupts});
val message_store_limit = 20
val message_display_limit = 10