diff --git a/CRT.h b/CRT.h
index 00141b558d37103b6abb3df64f451fd40d88740e..6f38bd3cd1e72f234b0fc57819f6b92a3292febd 100644
--- a/CRT.h
+++ b/CRT.h
@@ -98,6 +98,8 @@ typedef enum ColorElements_ {
    LAST_COLORELEMENT
 } ColorElements;
 
+void CRT_fatalError(const char* note) __attribute__ ((noreturn));
+
 
 // TODO: centralize these in Settings.