fix: Fix parser

ProVerif · Sep 17, 2023 · 2265ec3 · 2265ec3
1 parent c06b740
commit 2265ec3
Show file tree

Hide file tree

Showing 5 changed files with 643 additions and 645 deletions.
diff --git a/server/grammar/ProverifLexer.g4 b/server/grammar/ProverifLexer.g4
@@ -74,7 +74,7 @@ secret, select, set, suchthat, sync, table, then, type, weaksecret, yield
 term: state
 */
 NEW: 'new';
-CHOICE: 'choice';
+CHOICE: 'choice' | 'diff';
 LET: 'let';
 INSERT: 'insert';
 EVENT: 'event';
@@ -165,8 +165,8 @@ queries
 */
 // EVENT: 'event'; duplicate
 INJEVENT: 'inj-event';
-ATTACKER: 'attacker';
-MESS: 'mess';
+// ATTACKER: 'attacker'; not treated as its own taken, rather as IDENT
+// MESS: 'mess'; not treated as its own taken, rather as IDENT
 PHASE: 'phase';
 // CHOICE: 'choice'; duplicate
 // NEW: 'new'; duplicate