diff options
Diffstat (limited to 'atari/misc.h')
-rwxr-xr-x | atari/misc.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/atari/misc.h b/atari/misc.h index 8d1719ce8..418f28308 100755 --- a/atari/misc.h +++ b/atari/misc.h @@ -66,4 +66,13 @@ const char * file_select(const char * title, const char * name); */ long nkc_to_input_key(short nkc, long * ucs4_out); +/** + * Cause an abnormal program termination. + * + * \note This never returns and is intended to terminate without any cleanup. + * + * \param error The message to display to the user. + */ +void die(const char * const error) __attribute__ ((noreturn)); + #endif |