# HG changeset patch # User jwe # Date 1037909011 0 # Node ID af1d77a5e44dd18dd029600c8c9282cdb03da9e0 # Parent 40f76ce7a0514416767c1e63496af1d3463a7b58 [project @ 2002-11-21 20:03:31 by jwe] diff -r 40f76ce7a051 -r af1d77a5e44d src/lex.l --- a/src/lex.l Thu Nov 21 18:56:25 2002 +0000 +++ b/src/lex.l Thu Nov 21 20:03:31 2002 +0000 @@ -267,7 +267,7 @@ return handle_string (yytext[0], true); } -[^ \t\n\;\,\"\'][^ \t\n\;\,]*{S}* { +[^#% \t\n\;\,\"\'][^ \t\n\;\,]*{S}* { std::string tok = strip_trailing_whitespace (yytext); TOK_PUSH_AND_RETURN (tok, STRING); }