Report this as an exit function.

6fbc5a31 · Hisham Muhammad · 446d86c7 · 6fbc5a31
Commit 6fbc5a31 authored 11 years ago by Hisham Muhammad
Hide whitespace changes
Inline Side-by-side

Showing

with 2 additions and 0 deletions
+2 -0
--- 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.