# 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
 }