1 files changed, 3 insertions, 0 deletions

diff --git a/src/w32console.c b/src/w32console.c
index 8aec92389f2..eef845fe020 100644
--- a/src/w32console.c
+++ b/src/w32console.c
@@ -528,6 +528,9 @@ initialize_w32_display (void)
   read_socket_hook = w32_console_read_socket;
   mouse_position_hook = w32_console_mouse_position;
 
+  /* Initialize interrupt_handle.  */
+  init_crit ();
+
   /* Remember original console settings.  */
   keyboard_handle = GetStdHandle (STD_INPUT_HANDLE);
   GetConsoleMode (keyboard_handle, &prev_console_mode);