From 56db757de39a428daa6c422eb261119dd06be602 Mon Sep 17 00:00:00 2001
From: Benjamin Lipp <blipp@mailbox.org>
Date: Tue, 8 Apr 2025 17:54:29 +0200
Subject: [PATCH] chore: add TODO

---
 marzipan/TODO.md | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 marzipan/TODO.md

diff --git a/marzipan/TODO.md b/marzipan/TODO.md
new file mode 100644
index 0000000..6623cf0
--- /dev/null
+++ b/marzipan/TODO.md
@@ -0,0 +1,5 @@
+# TODO for the project of rewriting Marzipan
+
+## Next steps
+
+* figure out why ProVerif is started on the non-processed mpv file