From 479fa7bfbddfe5c5dd7675ec3dde96184cf224d4 Mon Sep 17 00:00:00 2001
From: monsterkrampe <monsterkrampe@users.noreply.github.com>
Date: Mon, 30 Jun 2025 08:32:04 +0200
Subject: [PATCH] Remove TODO comment

---
 server/src/adf.rs | 20 ++++++++------------
 1 file changed, 8 insertions(+), 12 deletions(-)

diff --git a/server/src/adf.rs b/server/src/adf.rs
index 6d44de9..430d3d7 100644
--- a/server/src/adf.rs
+++ b/server/src/adf.rs
@@ -304,18 +304,14 @@ impl From<AF> for AdfParser {
             .0
             .into_iter()
             .map(|attackers| {
-                attackers.into_iter().fold(
-                    // TODO: is it correct to use Top here? what if something is not attacked at all?
-                    Formula::Top,
-                    |acc, attacker| {
-                        Formula::And(
-                            Box::new(acc),
-                            Box::new(Formula::Not(Box::new(Formula::Atom(
-                                (attacker + 1).to_string(),
-                            )))),
-                        )
-                    },
-                )
+                attackers.into_iter().fold(Formula::Top, |acc, attacker| {
+                    Formula::And(
+                        Box::new(acc),
+                        Box::new(Formula::Not(Box::new(Formula::Atom(
+                            (attacker + 1).to_string(),
+                        )))),
+                    )
+                })
             })
             .collect();
         let formulanames = names.clone();