From: drl7x Date: Sun, 7 Dec 2003 21:07:20 +0000 (+0000) Subject: Fixed syntax error in file. X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/commitdiff_plain/d7c3252223a6e30d3883fe33b84972bddc0cdcd4 Fixed syntax error in file. --- 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