X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/3e3ec46998ea67d6742eb30afc16058c5537004e..27c9e6405d13abd5a1f1f0bae1ec7bb873abadea:/src/mtgrammar.c.der

diff --git a/src/mtgrammar.c.der b/src/mtgrammar.c.der
index 0fb5f6b..c240c19 100644
--- 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 */);