2 files changed, 10 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
diff --git a/atari/plot/plot.c b/atari/plot/plot.c
index a0b99e5ae..1b949d22a 100755
--- a/atari/plot/plot.c
+++ b/atari/plot/plot.c
@@ -32,6 +32,7 @@
 #include "desktop/plotters.h"
 #include "desktop/mouse.h"
 
+#include "atari/misc.h"
 #include "atari/bitmap.h"
 #include "utils/nsoption.h"
 #include "atari/plot/plot.h"