src/Pure/System/system_channel.scala

--- a/src/Pure/System/system_channel.scala	Fri Nov 24 19:42:53 2023 +0100
+++ b/src/Pure/System/system_channel.scala	Fri Nov 24 20:58:12 2023 +0100
@@ -13,7 +13,7 @@
 
 
 object System_Channel {
-  def apply(unix_domain: Boolean = Platform.is_unix): System_Channel =
+  def apply(unix_domain: Boolean = false): System_Channel =
     if (unix_domain) new Unix else new Inet
 
   class Inet extends System_Channel(StandardProtocolFamily.INET) {