Fix Rhino support

2013-03-04 16:08:00 -08:00
parent 948231a31d
commit e4a0ac4b04
1 changed files with 1 additions and 1 deletions
@@ -47,7 +47,7 @@
 <mu>'['[^\]]*']'                 { yytext = yytext.substr(1, yyleng-2); return 'ID'; }
 <mu>.                            { return 'INVALID'; }
 <par>\s+                         { /*ignore whitespace*/ }
-<par>[a-zA-Z0-9_$-/]+            { this.popState(); return 'PARTIAL_NAME'; }
+<par>[a-zA-Z0-9_$-\/]+           { this.popState(); return 'PARTIAL_NAME'; }

 <INITIAL,mu><<EOF>>              { return 'EOF'; }