1 files changed, 9 insertions, 0 deletions
diff --git a/riscos/gui.h b/riscos/gui.h
index 9077afeab..9e7704f39 100644
--- a/riscos/gui.h
+++ b/riscos/gui.h
@@ -120,6 +120,15 @@ void ro_gui_drag_box_start(wimp_pointer *pointer);
 bool ro_gui_prequit(void);
 const char *ro_gui_default_language(void);
 
+/**
+ * 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));
+
 /* in download.c */
 void ro_gui_download_init(void);
 void ro_gui_download_datasave_ack(wimp_message *message);