From 37add75d9ca2bb65921dd9e589f14e1239cd04a7 Mon Sep 17 00:00:00 2001
From: Johan Danielsson <joda@pdc.kth.se>
Date: Tue, 17 Feb 1998 15:30:49 +0000
Subject: [PATCH] Files don't have to end with `end'.

git-svn-id: svn://svn.h5l.se/heimdal/trunk/heimdal@4432 ec53bebd-3082-4978-b11e-865c3cabbd6b
---
 lib/com_err/parse.y | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/lib/com_err/parse.y b/lib/com_err/parse.y
index 7af496063..3864c59e7 100644
--- a/lib/com_err/parse.y
+++ b/lib/com_err/parse.y
@@ -58,7 +58,7 @@ extern char *yytext;
 %%
 
 file		: /* */ 
-		| header statements end
+		| header statements
 		;
 
 header		: id et
@@ -123,8 +123,7 @@ statement	: INDEX NUMBER
 		    APPEND(codes, ec);
 		    number++;
 		}
-		;
-end		: END
+		| END
 		{
 			return;
 		}