diff options
Diffstat (limited to 'src/parser.mly')
| -rw-r--r-- | src/parser.mly | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/parser.mly b/src/parser.mly index 3f8b6db5..eb2ba153 100644 --- a/src/parser.mly +++ b/src/parser.mly @@ -135,7 +135,7 @@ let make_vector_sugar order_set is_inc typ typ1 = %token Enumerate Else Exit Extern False Forall Foreach Function_ If_ In IN Inc Let_ Member Nat Order %token Pure Rec Register Scattered Struct Switch Then True TwoStarStar Type TYPE Typedef %token Undefined Union With Val -%token Barr Rreg Wreg Rmem Wmem Undef Unspec Nondet +%token Barr Depend Rreg Wreg Rmem Wmem Undef Unspec Nondet /* Avoid shift/reduce conflict - see right_atomic_exp rule */ @@ -306,6 +306,8 @@ kind: effect: | Barr { efl BE_barr } + | Depend + { efl BE_depend } | Rreg { efl BE_rreg } | Wreg |