From 9a965efae836bf2c681be6718db0f12205c3bfbd Mon Sep 17 00:00:00 2001
From: George Koehler <xkernigh@netscape.net>
Date: Sat, 28 Oct 2017 17:20:39 -0400
Subject: [PATCH] Terminal now writes to fd 1, not fd 0.

Fixes problem where `./program </dev/null` didn't show output.
---
 lang/m2/libm2/Terminal.mod | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/lang/m2/libm2/Terminal.mod b/lang/m2/libm2/Terminal.mod
index 120aba796..c26a85691 100644
--- a/lang/m2/libm2/Terminal.mod
+++ b/lang/m2/libm2/Terminal.mod
@@ -19,7 +19,7 @@ IMPLEMENTATION MODULE Terminal;
 #else
   FROM	Unix IMPORT	read, write, open, ioctl;
 #endif
-  VAR fildes: INTEGER;
+  VAR fildes, fdout: INTEGER;
       unreadch: CHAR;
       unread: BOOLEAN;
       tty: ARRAY[0..8] OF CHAR;
@@ -87,7 +87,7 @@ IMPLEMENTATION MODULE Terminal;
 
   PROCEDURE Write(ch: CHAR);
   BEGIN
-	IF write(fildes, ADR(ch), 1) < 0 THEN
+	IF write(fdout, ADR(ch), 1) < 0 THEN
 		;
 	END;
   END Write;
@@ -116,5 +116,6 @@ BEGIN
 (* dtrg: changed so that instead of opening /dev/tty, fd 0 is always used. *)
     tty := "stdio";
     fildes := 0;
+    fdout := 1;
     unread := FALSE;
 END Terminal.
-- 
2.34.1