--- a/src/Pure/Tools/debugger.scala Tue Aug 11 20:21:13 2015 +0200
+++ b/src/Pure/Tools/debugger.scala Tue Aug 11 20:28:11 2015 +0200
@@ -188,10 +188,10 @@
def input(thread_name: String, msg: String*): Unit =
global_state.value.session.protocol_command("Debugger.input", (thread_name :: msg.toList):_*)
+ def continue(thread_name: String): Unit = input(thread_name, "continue")
def step(thread_name: String): Unit = input(thread_name, "step")
def step_over(thread_name: String): Unit = input(thread_name, "step_over")
def step_out(thread_name: String): Unit = input(thread_name, "step_out")
- def continue(thread_name: String): Unit = input(thread_name, "continue")
def eval(thread_name: String, index: Int, SML: Boolean, context: String, expression: String)
{