From 3a1e6089bbf23f970bebbd36decb56aece2c93dc Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Mon, 11 Jan 2021 11:13:34 +0100 Subject: [PATCH] [aorai] remove unused tokens in yaparser --- src/plugins/aorai/yaparser.mly | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/plugins/aorai/yaparser.mly b/src/plugins/aorai/yaparser.mly index d028d2d4deb..15d82ac4d02 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 -- GitLab