Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/HOL/Tools/Sledgehammer/sledgehammer.ML
changeset 39223 022f16801e4e
parent 39155 3e94ebe282f1
parent 39220 8420a873f534
child 39262 bdfcf2434601 
--- a/src/HOL/Tools/Sledgehammer/sledgehammer.ML	Wed Sep 08 14:46:21 2010 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer.ML	Wed Sep 08 16:01:06 2010 +0200
@@ -452,8 +452,7 @@
             else
               ()
           end
-      (* FIXME no threads in user-space *)
-      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
isabelle