X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/1b8ae6904556859bbe91aadf35b8adcc1a0611ce..b87215ab641c38a5509a608751384ebb9f4f8bf9:/src/llgrammar.y?ds=sidebyside diff --git a/src/llgrammar.y b/src/llgrammar.y index b61d9ff..24039b0 100644 --- a/src/llgrammar.y +++ b/src/llgrammar.y @@ -39,7 +39,7 @@ static /*@unused@*/ void yyprint (); /*@=noparams@*/ /*@-redecl@*/ -void ylerror (char *) /*@modifies *g_msgstream@*/ ; +void ylerror (char *) /*@modifies *g_warningstream@*/ ; /*@=redecl@*/ bool g_inTypeDef = FALSE;