1.1 --- a/src/Pure/System/system_channel.scala	Wed Oct 16 13:02:35 2013 +0200
     1.2 +++ b/src/Pure/System/system_channel.scala	Mon Oct 14 19:50:36 2013 +0200
     1.3 @@ -15,7 +15,7 @@
     1.4  
     1.5  object System_Channel
     1.6  {
     1.7 -  def apply(use_socket: Boolean = false): System_Channel =
     1.8 +  def apply(): System_Channel =
     1.9      if (Platform.is_windows) new Socket_Channel else new Fifo_Channel
    1.10  }
    1.11