summaryrefslogtreecommitdiff
path: root/console-client
diff options
context:
space:
mode:
Diffstat (limited to 'console-client')
-rw-r--r--console-client/input.h2
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. */