Merge c2df35f7ef4ba5a71d248d1825b33d6af65a5cc4 into f601d473ccda5083c3fabd06320e94a935a74292

Fix bug introduced by 530fb5c
2025-12-19 09:29:36 +01:00 · 2024-02-26 16:19:57 +08: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]	8a90f89ead	Merge c2df35f7ef4ba5a71d248d1825b33d6af65a5cc4 into f601d473ccda5083c3fabd06320e94a935a74292	2024-02-26 16:19:57 +08:00
Stefan Ellmauthaler	f601d473cc	Fix bug introduced by 530fb5c	2024-01-08 12:56:22 +01:00