src/HOL/Tools/Sledgehammer/sledgehammer.ML

--- a/src/HOL/Tools/Sledgehammer/sledgehammer.ML	Mon Sep 06 12:38:45 2010 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer.ML	Mon Sep 06 13:06:27 2010 +0200
@@ -452,6 +452,7 @@
             else
               ()
           end
+      (* FIXME no threads in user-space *)
       in if blocking then run () else Toplevel.thread true (tap run) |> K () end
 
 val setup =