From 8b40c42de749c9e6b51643440393b06d1fe3ebf6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Eva=20=C5=A0mij=C3=A1kov=C3=A1?= <smijakova.eva@gmail.com>
Date: Wed, 27 Nov 2024 16:19:28 +0100
Subject: [PATCH] fmt

---
 src/bindings/pbn_control/control.rs | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/src/bindings/pbn_control/control.rs b/src/bindings/pbn_control/control.rs
index 0029a1f..03d8348 100644
--- a/src/bindings/pbn_control/control.rs
+++ b/src/bindings/pbn_control/control.rs
@@ -160,7 +160,12 @@ impl Control {
         // If initial states is not set, we consider all networks states as potential initial states
         let initial_states_native = match initial_states {
             Some(x) => x.as_native().clone(),
-            None => graph.get().as_native().mk_unit_colored_vertices().vertices().clone()
+            None => graph
+                .get()
+                .as_native()
+                .mk_unit_colored_vertices()
+                .vertices()
+                .clone(),
         };
 
         // If size limit is not set, we consider the largest possible size.