From 6a4bd88bec449b464076b4969dfc198d062ebf6e Mon Sep 17 00:00:00 2001 From: ian Date: Wed, 30 Jan 2008 22:52:54 +0000 Subject: [PATCH] better comment --- hostside/record-l.l | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/hostside/record-l.l b/hostside/record-l.l index 20f845b..79afd95 100644 --- a/hostside/record-l.l +++ b/hostside/record-l.l @@ -23,7 +23,8 @@ is { STR IS; } at { STR AT; } has { STR HAS; } step { STR STEP; } -end { STR END; } +end { STR END; } + /* new keywords must be added to %token and ident: in record-y.y */ [A-Za-z][A-Za-z0-9_]+ { STR IDENT; } -- 2.30.2