fix ffi so that bdd_or is correct (#180)

neuppl · Oct 19, 2023 · 12a7a0e · 12a7a0e
1 parent 1613459
commit 12a7a0e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/ffi.rs b/src/ffi.rs
@@ -145,7 +145,7 @@ pub unsafe extern "C" fn bdd_or(
     right: *mut BddPtr<'static>,
 ) -> *mut BddPtr<'static> {
     let builder = robdd_builder_from_ptr(builder);
-    let or = builder.and(*left, *right);
+    let or = builder.or(*left, *right);
     Box::into_raw(Box::new(or))
 }