diff options
| -rw-r--r-- | console-client/input.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/console-client/input.h b/console-client/input.h index 351fa34a..61deadc0 100644 --- a/console-client/input.h +++ b/console-client/input.h @@ -66,7 +66,7 @@ error_t console_switch (int id, int delta); void console_error (const wchar_t *const err_msg); /* Exit the console client. Does not return. */ -void console_exit (void); +void console_exit (void) __attribute__ ((noreturn)); /* Switch away from the console an external use of the console like XFree. */ |