(quit_throw_to_read_char): Declare NO_RETURN.

diff --git a/src/keyboard.h b/src/keyboard.h
index 5b255259aa1f1f38cc3de6309f8a50f1de00afe7..1d0ac4e335ce1c7cb0abb10b65981db158d6d9db 100644 (file)
--- a/src/keyboard.h
+++ b/src/keyboard.h
@@ -325,7 +325,7 @@ extern void stuff_buffered_input P_ ((Lisp_Object));
 extern void clear_waiting_for_input P_ ((void));
 extern void swallow_events P_ ((int));
 extern int help_char_p P_ ((Lisp_Object));
-extern void quit_throw_to_read_char P_ ((void));
+extern void quit_throw_to_read_char P_ ((void)) NO_RETURN;
 extern void cmd_error_internal P_ ((Lisp_Object, char *));
 extern void timer_start_idle P_ ((void));
 extern void timer_stop_idle P_ ((void));