From 9a52b5dbeb41e963cc8f2909ce99bebef128c31d Mon Sep 17 00:00:00 2001
From: Dany Doerr <daniel.doerr@hhu.de>
Date: Wed, 18 Oct 2023 15:23:06 +0200
Subject: [PATCH] fix formatting

---
 src/main.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/main.rs b/src/main.rs
index 7448ec1..6f9ed10 100644
--- a/src/main.rs
+++ b/src/main.rs
@@ -321,7 +321,7 @@ fn collapse(
                             x = w;
                         } else if x == v.flip() {
                             x = w.flip()
-                        } 
+                        }
                         if !graph.has_edge(w, x) {
                             graph.create_edge(Edge::edge_handle(w, x));
                             log::debug!("create edge {}{}", v2str(&w), v2str(&x));