Merge 604f57fcc4a6eb06a75ac8e76a91f1aa94277786 into f601d473ccda5083c3fabd06320e94a935a74292

Fix bug introduced by 530fb5c
2025-12-20 09:39:38 +01:00 · 2024-01-31 16:35:53 +01:00 · 2024-01-08 12:56:22 +01:00
1 changed files with 2 additions and 2 deletions
--- 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();
Author	SHA1	Message	Date
dependabot[bot]	4c3c129eb0	Merge 604f57fcc4a6eb06a75ac8e76a91f1aa94277786 into f601d473ccda5083c3fabd06320e94a935a74292	2024-01-31 16:35:53 +01:00
Stefan Ellmauthaler	f601d473cc	Fix bug introduced by 530fb5c	2024-01-08 12:56:22 +01:00