| changeset 62296 | b04a5ddd6121 |
| parent 59350 | acba5d6fdb2f |
| child 62299 | 9e95a4afb8c3 |
--- a/src/Pure/System/system_channel.scala Sat Feb 13 20:01:48 2016 +0100 +++ b/src/Pure/System/system_channel.scala Sat Feb 13 20:41:56 2016 +0100 @@ -22,7 +22,7 @@ def params: List[String] = List("127.0.0.1", server.getLocalPort.toString) - def prover_args: List[String] = List("-P", "127.0.0.1:" + server.getLocalPort) + def prover_options: String = "-P 127.0.0.1:" + server.getLocalPort def rendezvous(): (OutputStream, InputStream) = {