--- a/src/Pure/System/system_channel.scala Sat Feb 13 21:17:08 2016 +0100
+++ b/src/Pure/System/system_channel.scala Sat Feb 13 21:22:02 2016 +0100
@@ -20,9 +20,7 @@
{
private val server = new ServerSocket(0, 2, InetAddress.getByName("127.0.0.1"))
- def params: List[String] = List("127.0.0.1", server.getLocalPort.toString)
-
- def prover_options: String = "-P 127.0.0.1:" + server.getLocalPort
+ def server_name: String = "127.0.0.1:" + server.getLocalPort
def rendezvous(): (OutputStream, InputStream) =
{