@@ -464,18 +464,10 @@ fflush(FILE *restrict stream) { return libc.fflush(stream); } -void -exit(int status) -{ - libc.exit(status); - - OF_UNREACHABLE -} - void abort(void) { libc.abort();