--- a/src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML Thu Jan 29 16:16:01 2015 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML Thu Jan 29 16:35:29 2015 +0100
@@ -201,8 +201,8 @@
writeln ("Supported provers: " ^ commas (local_provers @ remote_provers) ^ ".")
end
-fun kill_provers () = Async_Manager.kill_threads SledgehammerN "prover"
-fun running_provers () = Async_Manager.running_threads SledgehammerN "prover"
-val messages = Async_Manager.thread_messages SledgehammerN "prover"
+fun kill_provers () = Async_Manager_Legacy.kill_threads SledgehammerN "prover"
+fun running_provers () = Async_Manager_Legacy.running_threads SledgehammerN "prover"
+val messages = Async_Manager_Legacy.thread_messages SledgehammerN "prover"
end;