From 3942bfa65eacb1a2fc9c2666822f2e66dc3a41a8 Mon Sep 17 00:00:00 2001
From: Benjamin Lipp <blipp@rosenpass.eu>
Date: Tue, 25 Nov 2025 15:58:45 +0100
Subject: [PATCH] chore: add comment indicating CryptoVerif terms

---
 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 89c776b..92649b8 100644
--- a/marzipan/src/parser.py
+++ b/marzipan/src/parser.py
@@ -19,7 +19,7 @@ reserved_words = [
     "elimtrue",
     "else",
     "equation",
-    "equivalence",  # no rule yet
+    "equivalence",  # no rule yet (this is CryptoVerif-specific)
     "event",
     "expand",
     "fail",
@@ -30,7 +30,7 @@ reserved_words = [
     "fun",
     "get",
     "if",
-    "implementation",  # no rule yet
+    "implementation",  # no rule yet (this is CryptoVerif-specific)
     "in",
     "inj-event",
     "insert",