# HG changeset patch # User wenzelm # Date 1381773036 -7200 # Node ID 3ff2cb4bda763bb8d303b3ee59ae188e3b2c87c0 # Parent eb53dc22840604cef35d0b069e7468b88fd4416c removed dead code (see also db4bf4fb5492); diff -r eb53dc228406 -r 3ff2cb4bda76 src/Pure/System/system_channel.scala --- a/src/Pure/System/system_channel.scala Wed Oct 16 13:02:35 2013 +0200 +++ b/src/Pure/System/system_channel.scala Mon Oct 14 19:50:36 2013 +0200 @@ -15,7 +15,7 @@ object System_Channel { - def apply(use_socket: Boolean = false): System_Channel = + def apply(): System_Channel = if (Platform.is_windows) new Socket_Channel else new Fifo_Channel }