diff options
Diffstat (limited to 'ecomp-c/ec.c')
-rw-r--r-- | ecomp-c/ec.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ecomp-c/ec.c b/ecomp-c/ec.c index bc0944e..82775e0 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 ); } -static void Halt( int code ) +__attribute__((noreturn)) static void Halt( int code ) { exit( code ); } |