Added manual test cases.

[splint.git] / src / mtgrammar.c.der

diff --git a/src/mtgrammar.c.der b/src/mtgrammar.c.der
index 0fb5f6b25f9bffeb918e31ad04eafb0d5d4c3df6..c240c19a8a0af0bd9116302af9fd4617e3362cdc 100644 (file)
--- a/src/mtgrammar.c.der
+++ b/src/mtgrammar.c.der
@@ -123,7 +123,7 @@ extern ctype mtscanner_lookupType (mttok p_tok) /*@modifies p_tok@*/ ;
     # include "mtscanner.h"
   */
 
-static /*@exits@*/ void mterror (char *);
+static /*@noreturn@*/ void mterror (char *);
 
 /*@-noparams@*/ /* Can't list params since YYSTYPE isn't defined yet. */
 static void yyprint (/*FILE *p_file, int p_type, YYSTYPE p_value */);