Fixed compile issue with --no-default-features

2025-12-19 09:29:36 +01:00 · 2022-04-04 13:08:49 +02:00 · 2022-04-04 13:08:49 +02:00 · ff5398ee51
commit ff5398ee51
parent 3feeb1343b
1 changed files with 1 additions and 1 deletions
--- a/lib/src/obdd.rs
+++ b/lib/src/obdd.rs
@ -321,7 +321,7 @@ impl Bdd {
        }
        #[cfg(not(feature = "adhoccounting"))]
        match self.count_cache.borrow().get(&term) {
-            Some((mc, depth)) => *depth,
+            Some((_mc, _pc, depth)) => *depth,
            None => {
                if term.is_truth_value() {
                    0