author | blanchet |
Mon, 06 Sep 2010 16:50:29 +0200 | |
changeset 39220 | 8420a873f534 |
parent 39219 | 2aca183ef915 |
child 39221 | 70fd4a3c41ed |
--- a/src/HOL/Tools/Sledgehammer/sledgehammer.ML Mon Sep 06 13:48:10 2010 +0200 +++ b/src/HOL/Tools/Sledgehammer/sledgehammer.ML Mon Sep 06 16:50:29 2010 +0200 @@ -452,7 +452,7 @@ else () end - in if blocking then run () else Toplevel.thread true (tap run) |> K () end + in if blocking then run () else Future.fork run |> K () end val setup = dest_dir_setup