diff options
| author |  Rustan Leino <leino@microsoft.com> | 2011-04-07 20:02:12 -0700 |
|---|---|---|
| committer | Rustan Leino <leino@microsoft.com> | 2011-04-07 20:02:12 -0700 |
| commit | f5e18a17e2d6025b071b018df9ce7cc5cf4a1d8e (patch) | |
| tree | 6f668e8de9531db23345744aee3b26e1bde769c6 /Source | |
| parent | 77d9680e27352f5b91651b3cd0326538563dd993 (diff) | |
| parent | f8d35d183fbc9bfa68f2ddb3c37f14027ced1cd1 (diff) | |
Automated merge with https://hg01.codeplex.com/boogie
Diffstat (limited to 'Source')
| -rw-r--r-- | Source/Forro/Parser.fsy | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Forro/Parser.fsy b/Source/Forro/Parser.fsy index 5c3f8284..5dbb8a4c 100644 --- a/Source/Forro/Parser.fsy +++ b/Source/Forro/Parser.fsy @@ -25,8 +25,8 @@ let IdToField id = %token NULL
%token DOT
%token NOT
-%token PLUS MINUS
%token STAR
+%token PLUS MINUS
%token EQ NEQ LESS ATMOST
%token AND OR
%token OLD LPAREN RPAREN LCURLY RCURLY SEMI COMMA ASSIGN
|