From a0fdc001c4808f0997f1ce4e1af01aac47e518df Mon Sep 17 00:00:00 2001
From: Sam Stites <stites@users.noreply.github.com>
Date: Fri, 8 Dec 2023 20:54:47 -0500
Subject: [PATCH] cargo fmt --all

---
 src/ffi.rs | 1 -
 1 file changed, 1 deletion(-)

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 {