1 files changed, 2 insertions, 0 deletions
diff --git a/CRT.c b/CRT.c
index 5b308e56..0685df47 100644
--- a/CRT.c
+++ b/CRT.c
@@ -107,6 +107,8 @@ typedef enum ColorElements_ {
    LAST_COLORELEMENT
 } ColorElements;
 
+void CRT_fatalError(const char* note) __attribute__ ((noreturn));
+
 }*/
 
 // TODO: centralize these in Settings.