impl Display for BddVariableSet in the same way like BddValuation

sybila · Aug 13, 2024 · cc0bf1e · cc0bf1e
1 parent f5577c6
commit cc0bf1e
Showing 1 changed file with 4 additions and 1 deletion.
diff --git a/src/_impl_bdd_variable_set.rs b/src/_impl_bdd_variable_set.rs
@@ -1,5 +1,8 @@
 use super::*;
-use std::{convert::TryFrom, fmt::{Display, Formatter}};
+use std::{
+    convert::TryFrom,
+    fmt::{Display, Formatter},
+};
 
 impl BddVariableSet {
     /// Create a new `BddVariableSet` with anonymous variables $(x_0, \ldots, x_n)$ where $n$ is