Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
cancel whole group
authorimmler@in.tum.de
Tue, 20 Jan 2009 22:19:46 +0100
changeset 29595 93ff1bca5e15
parent 29594 d9ec10c2d71f
child 29596 7b710756609c
cancel whole group
src/HOL/Tools/atp_manager.ML file | annotate | diff | comparison | revisions 
--- 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 ^
isabelle