From ff5398ee51ed344b0ca259d1d55f9f4beceed642 Mon Sep 17 00:00:00 2001
From: Stefan Ellmauthaler <stefan.ellmauthaler@tu-dresden.de>
Date: Mon, 4 Apr 2022 13:08:49 +0200
Subject: [PATCH] Fixed compile issue with --no-default-features

---
 lib/src/obdd.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/src/obdd.rs b/lib/src/obdd.rs
index 45dccc8..194493c 100644
--- 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