chiark / gitweb /
better comment
authorian <ian>
Wed, 30 Jan 2008 22:52:54 +0000 (22:52 +0000)
committerian <ian>
Wed, 30 Jan 2008 22:52:54 +0000 (22:52 +0000)
hostside/record-l.l

index 20f845bf0931140fabc15cb4b919c180ef0f12c0..79afd955b0c7cb261602d706f46e83592973a375 100644 (file)
@@ -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; }