Added splint.spec file contributed by Heiko Abraham

[splint.git] / src / mtgrammar.y

diff --git a/src/mtgrammar.y b/src/mtgrammar.y
index 5c90ea433e55adbdeab0bc0c55ee8f7a56ec868d..4ccf1f9a9f258f7c757ef381f187fc797aea2dd4 100644 (file)
--- a/src/mtgrammar.y
+++ b/src/mtgrammar.y
@@ -42,9 +42,10 @@ 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. */
+extern int mtlex () ;
 static void yyprint (/*FILE *p_file, int p_type, YYSTYPE p_value */);
 /*@=noparams@*/