# HG changeset patch
# User Richard M. Stallman <rms@gnu.org>
# Date 738483524 0
# Node ID 719776bc7f7d6d63f6bba3c588223c9553391b0c
# Parent  c3c1b1ceab05501af2c8fe80fe3524324a898948
(read_char): Correct previous change.

diff -r c3c1b1ceab05 -r 719776bc7f7d src/keyboard.c
--- 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))