From 5145a51994f92017ba69699ae67d25deb00a9424 Mon Sep 17 00:00:00 2001
From: ian <ian>
Date: Sun, 13 Jul 2008 19:24:44 +0000
Subject: [PATCH] identifiers here have - not _

---
 hostside/record-l.l | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/hostside/record-l.l b/hostside/record-l.l
index 053a0e8..77c0952 100644
--- a/hostside/record-l.l
+++ b/hostside/record-l.l
@@ -30,7 +30,7 @@ home		{ STRT HOME; }
 end		{ STRT END; }
  /* new keywords must be added to %token<name> and ident: in record-y.y */
 
-[A-Za-z][A-Za-z0-9_]+	{ STRT IDENT; }
+[A-Za-z][-A-Za-z0-9]+	{ STRT IDENT; }
 
 [0-9]{0,8}	{ record_yylval.num= strtoul(yytext,0,10); return NUM; }
 [0-9]{9}	{ record_yyerror("number too long"); }
-- 
2.30.2