diff --git a/src/keyboard.c b/src/keyboard.c
index d142d4c1979..c3e4f5d36a8 100644
--- a/src/keyboard.c
+++ b/src/keyboard.c
@@ -12389,8 +12389,6 @@ syms_of_keyboard_for_pdumper (void)
   eassert (initial_kboard == NULL);
   initial_kboard = allocate_kboard (Qt);
 
-  Vwhile_no_input_ignore_events = Qnil;
-
   inhibit_record_char = false;
 }