fmt

sybila · Nov 27, 2024 · 8b40c42 · 8b40c42
1 parent 8477542
commit 8b40c42
Showing 1 changed file with 6 additions and 1 deletion.
diff --git 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.