Files don't have to end with `end'.

git-svn-id: svn://svn.h5l.se/heimdal/trunk/heimdal@4432 ec53bebd-3082-4978-b11e-865c3cabbd6b
This commit is contained in:
Johan Danielsson
1998-02-17 15:30:49 +00:00
parent 973cc2d43f
commit 37add75d9c

View File

@@ -58,7 +58,7 @@ extern char *yytext;
%% %%
file : /* */ file : /* */
| header statements end | header statements
; ;
header : id et header : id et
@@ -123,8 +123,7 @@ statement : INDEX NUMBER
APPEND(codes, ec); APPEND(codes, ec);
number++; number++;
} }
; | END
end : END
{ {
return; return;
} }