From 9ff79c53ddce92953374fdc39479498e69860e2a Mon Sep 17 00:00:00 2001 From: George Koehler Date: Mon, 30 Oct 2017 21:24:18 -0400 Subject: [PATCH] Update comment after commit 9a965ef. --- lang/m2/libm2/Terminal.mod | 1 + 1 file changed, 1 insertion(+) diff --git a/lang/m2/libm2/Terminal.mod b/lang/m2/libm2/Terminal.mod index c26a85691..80f8d4136 100644 --- 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;