fix: .rev() -> renaming in smart preds ok -> old & new preds consistent

sybila · Dec 11, 2023 · 1f9bb24 · 1f9bb24
1 parent 2efc842
commit 1f9bb24
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/update/update_fn.rs b/src/update/update_fn.rs
@@ -565,6 +565,7 @@ where
             .raw_bdd_variables()
             .into_iter()
             .zip(primed_domain.raw_bdd_variables())
+            .rev() // it's magic
             .fold(source_states_set, |mut acc, (unprimed, primed)| {
                 unsafe { acc.rename_variable(unprimed, primed) };
                 acc