From cbc2b9699c210a7075c2abc7148cb6cfbc86a170 Mon Sep 17 00:00:00 2001
From: Brianna Marshall <brianna@bmarsha.com>
Date: Sun, 13 Oct 2024 15:33:01 -0400
Subject: [PATCH] Remove dupe bdd_num_recursive_calls

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

diff --git a/src/ffi.rs b/src/ffi.rs
index 0fe2acc..17a2b71 100644
--- 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()
-}