Merge pull request #144 from wagenet/rhino-fix

Compatibility with Mozilla Rhino
2011-11-22 23:04:40 -08:00
parent deac4f5141 42e31ef6db
commit 5d15ef9625
1 changed files with 1 additions and 1 deletions
@@ -27,7 +27,7 @@
 <mu>"true"/[}\s]             { return 'BOOLEAN'; }
 <mu>"false"/[}\s]            { return 'BOOLEAN'; }
 <mu>[0-9]+/[}\s]             { return 'INTEGER'; }
-<mu>[a-zA-Z0-9_$-]+/[=}\s/.] { return 'ID'; }
+<mu>[a-zA-Z0-9_$-]+/[=}\s\/.] { return 'ID'; }
 <mu>\[.*\]                   { yytext = yytext.substr(1, yyleng-2); return 'ID'; }
 <mu>.                        { return 'INVALID'; }