Added manual test cases.

[splint.git] / src / Headers / llmain.h

diff --git a/src/Headers/llmain.h b/src/Headers/llmain.h
index f6fa7c5ab9642db90cd4fa7e4ca0fe151b8f92d1..89b89d09b0f121d8a2836707cad3b3f4fb1057f3 100644 (file)
--- a/src/Headers/llmain.h
+++ b/src/Headers/llmain.h
@@ -30,7 +30,7 @@ extern int main (int p_argc, char *p_argv[])
 # endif
   ;
 
-extern /*@exits@*/ void llexit (int p_status);      
+extern /*@noreturn@*/ void llexit (int p_status);      
 extern void showHerald (void);
 
 /*@-redecl@*/ /*@-incondefs@*/