From eb64f50d99ab8b2552d509b9c1878fcc95756907 Mon Sep 17 00:00:00 2001
From: Benjamin Lipp <blipp@mailbox.org>
Date: Tue, 6 May 2025 17:28:25 +0200
Subject: [PATCH] chore: update TODO, remove unused code

Co-Authored-By: Anja Rabich <a.rabich@uni-luebeck.de>
---
 marzipan/TODO.md        |  2 +-
 marzipan/src/analyze.sh | 24 ------------------------
 2 files changed, 1 insertion(+), 25 deletions(-)

diff --git a/marzipan/TODO.md b/marzipan/TODO.md
index 8e7221f..7bb1fa7 100644
--- a/marzipan/TODO.md
+++ b/marzipan/TODO.md
@@ -9,8 +9,8 @@
   ```
 * ~~provide log parameter to `rosenpass-marzipan`-call~~ (no, it was intentionally not used)
 * ~~cpp pre-processing stuff~~
+* ~~awk pre-processing stuff~~
 
 ## Next Steps
 
-* awk pre-processing stuff
 * `pretty_output` Bash function
diff --git a/marzipan/src/analyze.sh b/marzipan/src/analyze.sh
index ba0fbf2..79614cd 100755
--- a/marzipan/src/analyze.sh
+++ b/marzipan/src/analyze.sh
@@ -14,30 +14,6 @@ run_proverif() {
 
 clean_warnings() {
     exc rosenpass-marzipan clean-warnings
-: <<'END_COMMENT'
-   awk '
-      BEGIN {
-        null = "0455290a-50d5-4f28-8008-3d69605c2835"
-        p = null;
-      }
-
-      function pt(arg) {
-        if (arg != null) {
-          print(arg);
-        }
-      }
-      function bod() {
-        if ($0 !~ /^Warning: identifier \w+ rebound.$/) {
-          pt(p);
-          p=$0;
-        } else {
-          p=null;
-        }
-      }
-      { bod(); }
-      END { $0=null; bod(); }
-    '
-END_COMMENT
 }
 
 color_red='\033[0;31m'