chiark
/
gitweb
/
~ijackson
/
trains.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
22867c3
)
better comment
author
ian
<ian>
Wed, 30 Jan 2008 22:52:54 +0000
(22:52 +0000)
committer
ian
<ian>
Wed, 30 Jan 2008 22:52:54 +0000
(22:52 +0000)
hostside/record-l.l
patch
|
blob
|
history
diff --git
a/hostside/record-l.l
b/hostside/record-l.l
index 20f845bf0931140fabc15cb4b919c180ef0f12c0..79afd955b0c7cb261602d706f46e83592973a375 100644
(file)
--- 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<name> and ident: in record-y.y */
[A-Za-z][A-Za-z0-9_]+ { STR IDENT; }