From e3b43a59bf167bb0721c1c5efc8a1171c1fca2a4 Mon Sep 17 00:00:00 2001 From: Benjamin Lipp Date: Tue, 25 Nov 2025 15:59:29 +0100 Subject: [PATCH] fix: transcription errors in grammar relating to processes --- marzipan/src/parser.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/marzipan/src/parser.py b/marzipan/src/parser.py index 92649b8..ef1324e 100644 --- a/marzipan/src/parser.py +++ b/marzipan/src/parser.py @@ -137,11 +137,11 @@ proverif_grammar = Lark( | "foreach" IDENT "<=" IDENT "do" process sample_process: "new" IDENT [ "[" _maybe_empty_seq{IDENT} "]" ] ":" typeid [";" process] | IDENT "<-R" typeid [";" process] - let_process: "let" pattern "=" pterm ["in" pterm [ "else" pterm ]] + let_process: "let" pattern "=" pterm ["in" process [ "else" process ]] | IDENT [":" typeid] "<-" pterm [";" process] | "let" typedecl "suchthat" pterm options{OPTIONS_PROCESS} [ "in" process [ "else" process ] ] if_process: "if" pterm "then" process [ "else" process ] - in_process: "(" pterm "," pattern ")" options{OPTIONS_PROCESS} [ ";" process ] + in_process: "in" "(" pterm "," pattern ")" options{OPTIONS_PROCESS} [ ";" process ] get_process: IDENT "(" _maybe_empty_seq{pattern} ")" [ "suchthat" pterm ] options{OPTIONS_PROCESS} [ "in" process [ "else" process ] ] out_process: "out" "(" pterm "," pterm ")" [ ";" process ] insert_process: "insert" IDENT "(" _maybe_empty_seq{pterm} ")" [ ";" process ]