# HG changeset patch
# User Roland McGrath <roland@gnu.org>
# Date 768609656 0
# Node ID e5a2552872bf221295c86d17262b4473b91e49d4
# Parent  a9cb818e53162456e4a0e7b34f74cb921e54b456
Comment fix.

diff -r a9cb818e5316 -r e5a2552872bf src/dispnew.c
--- a/src/dispnew.c	Tue May 10 22:39:29 1994 +0000
+++ b/src/dispnew.c	Tue May 10 22:40:56 1994 +0000
@@ -52,6 +52,9 @@
    This ought to be built in in stdio, but it isn't.
    Some s- files override this because their stdio internals differ.  */
 #ifdef __GNU_LIBRARY__
+/* The s- file might have overridden the definition with one that works for
+   the system's C library.  But we are using the GNU C library, so this is
+   the right definition for every system.  */
 #undef	PENDING_OUTPUT_COUNT
 #define	PENDING_OUTPUT_COUNT(FILE) ((FILE)->__bufp - (FILE)->__buffer)
 #else