diff --git a/src/ffi.rs b/src/ffi.rs
index ec645ee..050e049 100644
--- 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 {