X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/419f7a7a4b388dfc03c75bebaffcf97116ea0410..d7c3252223a6e30d3883fe33b84972bddc0cdcd4:/src/cgrammar.y diff --git a/src/cgrammar.y b/src/cgrammar.y index 740d069..607afc0 100644 --- a/src/cgrammar.y +++ b/src/cgrammar.y @@ -221,7 +221,7 @@ extern void yyerror (char *); %type endIter %type functionClauses functionClausesPlain -%type functionClause functionClause functionClausePlain +%type functionClause functionClausePlain %type globalsClause globalsClausePlain %type modifiesClause modifiesClausePlain nomodsClause