Update comment after commit 9a965ef.

diff --git a/lang/m2/libm2/Terminal.mod b/lang/m2/libm2/Terminal.mod
index c26a856..80f8d41 100644 (file)
--- a/lang/m2/libm2/Terminal.mod
+++ b/lang/m2/libm2/Terminal.mod
@@ -114,6 +114,7 @@ BEGIN
        unread := FALSE;
 *)
 (* dtrg: changed so that instead of opening /dev/tty, fd 0 is always used. *)
+(* kernigh: sent output to fd 1 *)
     tty := "stdio";
     fildes := 0;
     fdout := 1;