--- a/src/Pure/System/message_channel.ML Sat Apr 04 21:38:20 2020 +0200
+++ b/src/Pure/System/message_channel.ML Sun Apr 05 13:05:40 2020 +0200
@@ -59,11 +59,11 @@
let
val mbox = Mailbox.create ();
val thread =
- Standard_Thread.fork {name = "channel", stack_limit = NONE, interrupts = false}
+ Isabelle_Thread.fork {name = "channel", stack_limit = NONE, interrupts = false}
(message_output mbox stream);
fun send msg = Mailbox.send mbox (SOME msg);
fun shutdown () =
- (Mailbox.send mbox NONE; Mailbox.await_empty mbox; Standard_Thread.join thread);
+ (Mailbox.send mbox NONE; Mailbox.await_empty mbox; Isabelle_Thread.join thread);
in Message_Channel {send = send, shutdown = shutdown} end;
end;