cargo fmt --all

neuppl · Dec 9, 2023 · a0fdc00 · a0fdc00
1 parent d1b7145
commit a0fdc00
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/ffi.rs b/src/ffi.rs
@@ -101,7 +101,6 @@ pub unsafe extern "C" fn mk_bdd_manager_default_order(num_vars: u64) -> *mut Rsd
     .cast()
 }
 
-
 #[no_mangle]
 #[allow(clippy::missing_safety_doc)]
 pub unsafe extern "C" fn bdd_new_label(builder: *mut RsddBddBuilder) -> u64 {