Fix bug with bdd_meu calling bb instead

neuppl · Oct 4, 2023 · 9c02124 · 9c02124
1 parent fc2965d
commit 9c02124
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib.rs b/src/lib.rs
@@ -231,7 +231,7 @@ pub fn bdd_meu(
     ocaml::Pointer<RsddExpectedUtility>,
     ocaml::Pointer<RsddPartialModel>,
 ) {
-    let (eu, pm) = bdd.0.bb(
+    let (eu, pm) = bdd.0.meu(
         &decision_vars
             .into_linked_list()
             .iter()