diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/bdd/extrab/extraBddMisc.c | 2 |
1 files changed, 1 insertions, 1 deletions
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; |