Remove dupe bdd_num_recursive_calls

neuppl · Oct 13, 2024 · cbc2b96 · cbc2b96
1 parent 7d6271f
commit cbc2b96
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/src/ffi.rs b/src/ffi.rs
@@ -364,8 +364,3 @@ pub unsafe extern "C" fn weight_complex_lo(w: WeightComplex) -> Complex {
 pub unsafe extern "C" fn weight_complex_hi(w: WeightComplex) -> Complex {
     w.1
 }
-
-#[no_mangle]
-unsafe extern "C" fn bdd_num_recursive_calls(builder: *mut RsddBddBuilder) -> usize {
-    robdd_builder_from_ptr(builder).num_recursive_calls()
-}