From f601d473ccda5083c3fabd06320e94a935a74292 Mon Sep 17 00:00:00 2001
From: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
Date: Mon, 8 Jan 2024 12:32:30 +0100
Subject: [PATCH] Fix bug introduced by 530fb5c

---
 server/src/double_labeled_graph.rs | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/server/src/double_labeled_graph.rs b/server/src/double_labeled_graph.rs
index 4171e51..d529c48 100644
--- a/server/src/double_labeled_graph.rs
+++ b/server/src/double_labeled_graph.rs
@@ -92,7 +92,7 @@ impl DoubleLabeledGraph {
             .iter()
             .enumerate()
             .filter(|(i, _)| node_indices.contains(i))
-            .filter(|(_, node)| [Var::TOP, Var::BOT].contains(&node.var()))
+            .filter(|(_, node)| ![Var::TOP, Var::BOT].contains(&node.var()))
             .map(|(i, &node)| (i, node.lo().value()))
             .map(|(i, v)| (i.to_string(), v.to_string()))
             .collect();
@@ -103,7 +103,7 @@ impl DoubleLabeledGraph {
             .iter()
             .enumerate()
             .filter(|(i, _)| node_indices.contains(i))
-            .filter(|(_, node)| [Var::TOP, Var::BOT].contains(&node.var()))
+            .filter(|(_, node)| ![Var::TOP, Var::BOT].contains(&node.var()))
             .map(|(i, &node)| (i, node.hi().value()))
             .map(|(i, v)| (i.to_string(), v.to_string()))
             .collect();