| changeset 73565 | 1aa92bc4d356 |
| parent 73563 | 55b66a45bc94 |
| child 75393 | 87ebf5a50283 |
--- a/src/Pure/Tools/debugger.scala Mon Apr 12 15:00:03 2021 +0200 +++ b/src/Pure/Tools/debugger.scala Mon Apr 12 18:10:13 2021 +0200 @@ -259,7 +259,7 @@ } def input(thread_name: String, msg: String*): Unit = - session.protocol_command("Debugger.input", (thread_name :: msg.toList):_*) + session.protocol_command_args("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")