# HG changeset patch
# User immler@in.tum.de
# Date 1232486386 -3600
# Node ID 93ff1bca5e152120a4f2f587f4626bc24c55a156
# Parent  d9ec10c2d71f872d56d6af1788935868cc3ffa46
cancel whole group

diff -r d9ec10c2d71f -r 93ff1bca5e15 src/HOL/Tools/atp_manager.ML
--- a/src/HOL/Tools/atp_manager.ML	Tue Jan 20 20:58:25 2009 +0100
+++ b/src/HOL/Tools/atp_manager.ML	Tue Jan 20 22:19:46 2009 +0100
@@ -118,7 +118,7 @@
 
           val now = Time.now ()
           val cancelling' =
-            fold (fn (th, (tb, _, desc)) => update_thread (th, (tb, now, desc))) others cancelling
+            fold (fn (th, (tb, _, desc)) => update_thread (th, (tb, now, desc))) group cancelling
 
           val msg = description ^ "\n" ^ message
           val message' = "Sledgehammer: " ^ msg ^