Skip to content

Commit 9ff79c5

Browse files
committed
Update comment after commit 9a965ef.
1 parent 84024ce commit 9ff79c5

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

lang/m2/libm2/Terminal.mod

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -114,6 +114,7 @@ BEGIN
114114
unread := FALSE;
115115
*)
116116
(* dtrg: changed so that instead of opening /dev/tty, fd 0 is always used. *)
117+
(* kernigh: sent output to fd 1 *)
117118
tty := "stdio";
118119
fildes := 0;
119120
fdout := 1;

0 commit comments

Comments
 (0)