changeset 3174:719776bc7f7d

(read_char): Correct previous change.
author Richard M. Stallman <rms@gnu.org>
date Thu, 27 May 1993 06:18:44 +0000
parents c3c1b1ceab05
children 15d3c2e32922
files src/keyboard.c
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/keyboard.c	Thu May 27 05:53:05 1993 +0000
+++ b/src/keyboard.c	Thu May 27 06:18:44 1993 +0000
@@ -1485,7 +1485,7 @@
     }
 
   /* Actually read a character, waiting if necessary.  */
-  while (1)
+  while (NILP (c))
     {
       c = kbd_buffer_get_event ();
       if (!NILP (c))