Update comment after commit 9a965ef.

2017-10-30 21:24:18 -04:00 · 2017-10-30 21:24:18 -04:00 · 9ff79c53dd
parent 84024ce5b6
commit 9ff79c53dd
1 changed files with 1 additions and 0 deletions
--- 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;