diff --git a/CRT.c b/CRT.c
index 5b308e5669bce0f6fcf302abb408171357b22530..0685df47388105aabf289cf16c361b163b59ada4 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.