diff --git a/src/plugins/aorai/yaparser.mly b/src/plugins/aorai/yaparser.mly index d028d2d4deb18296edd60d342fe3e89474bdf639..15d82ac4d02a115cb556238685d3486a28b721ea 100644 --- a/src/plugins/aorai/yaparser.mly +++ b/src/plugins/aorai/yaparser.mly @@ -145,7 +145,7 @@ type pre_cond = Behavior of string | Pre of Promelaast.condition %token NOT DOT AMP %token COLON SEMI_COLON COMMA PIPE CARET QUESTION COLUMNCOLUMN %token EQ LT GT LE GE NEQ PLUS MINUS SLASH STAR PERCENT OR AND -%token INIT ACCEPT DETERMINISTIC METAVAR +%token INIT ACCEPT DETERMINISTIC %token OTHERWISE %token EOF