From f87c8b434a3024972c6bc85c072d80adbed3e778 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 3 Feb 2021 16:01:16 -1000
Subject: Modification suggested by David Geiger to fix an obscure memory
 problem.

---
 src/bdd/extrab/extraBddMisc.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/bdd/extrab/extraBddMisc.c b/src/bdd/extrab/extraBddMisc.c
index 42003864..f4ec0712 100644
--- a/src/bdd/extrab/extraBddMisc.c
+++ b/src/bdd/extrab/extraBddMisc.c
@@ -1291,7 +1291,7 @@ static DdNode * extraBddCountCubes( DdManager * dd, DdNode * L, DdNode * U, st__
     if (r)
     {
         int nCubes = 0;
-        if ( st__lookup( table, (char *)r, (char **)&nCubes ) )
+        if ( st__lookup_int( table, (char *)r, &nCubes ) )
             *pnCubes = nCubes;
         else assert( 0 );
         return r;
-- 
cgit v1.2.3