1 files changed, 1 insertions, 1 deletions
diff --git a/ecomp-c/ec.c b/ecomp-c/ec.c
index 82775e0..bc0944e 100644
--- a/ecomp-c/ec.c
+++ b/ecomp-c/ec.c
@@ -133,7 +133,7 @@ static void Err( char *s, va_list args )
 	fflush( stderr );
 }
 
-__attribute__((noreturn)) static void Halt( int code )
+static void Halt( int code )
 {
 	exit( code );
 }