diff -r e27cfd2bf094 -r 0d4ee4168e41 src/Pure/Tools/debugger.ML
--- a/src/Pure/Tools/debugger.ML	Tue Nov 03 11:24:42 2015 +0100
+++ b/src/Pure/Tools/debugger.ML	Tue Nov 03 13:54:34 2015 +0100
@@ -24,7 +24,7 @@
   if msg = "" then ()
   else
     Output.protocol_message
-      (Markup.debugger_output (Simple_Thread.the_name ()))
+      (Markup.debugger_output (Standard_Thread.the_name ()))
       [Markup.markup (kind, Markup.serial_properties (serial ())) msg];
 
 val writeln_message = output_message Markup.writelnN;
@@ -255,7 +255,7 @@
         (SOME (fn (_, break) =>
           if not (is_debugging ()) andalso (! break orelse is_break () orelse is_stepping ())
           then
-            (case Simple_Thread.get_name () of
+            (case Standard_Thread.get_name () of
               SOME thread_name => debugger_loop thread_name
             | NONE => ())
           else ()))));