1.1 --- a/src/HOL/Tools/Sledgehammer/async_manager.ML Fri Nov 18 11:47:12 2011 +0100
1.2 +++ b/src/HOL/Tools/Sledgehammer/async_manager.ML Fri Nov 18 11:47:12 2011 +0100
1.3 @@ -203,7 +203,7 @@
1.4 val state' = make_state manager timeout_heap [] (killing @ canceling) messages store;
1.5 val _ =
1.6 if null killing then ()
1.7 - else Output.urgent_message ("Killed active " ^ das_wort_worker ^ "s.")
1.8 + else Output.urgent_message ("Interrupted active " ^ das_wort_worker ^ "s.")
1.9 in state' end);
1.10
1.11