diff options
| author | Gabriel Kerneis | 2013-12-17 13:39:45 +0000 |
|---|---|---|
| committer | Gabriel Kerneis | 2013-12-17 13:42:17 +0000 |
| commit | 787736a9d0548eb0115ec1eaa42f4e486de1189c (patch) | |
| tree | a7acc21b17905eda091ab33f532841cdf740f1f6 /src/parser.mly | |
| parent | 86c00b1b581dce52ac005401e6f2d6422b66637d (diff) | |
Remove spurious lexing tokens
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parser.mly b/src/parser.mly index 10d6cf65..be69fc00 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -132,7 +132,7 @@ let star = "*" %nonassoc Then %nonassoc Else -%token AND Div_ EOR Mod OR Quot Rem +%token Div_ Mod Quot Rem %token Bar Colon Comma Dot Eof Minus Semi Under %token Lcurly Rcurly Lparen Rparen Lsquare Rsquare |