diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-02-03 16:01:16 -1000 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-02-03 16:01:16 -1000 |
| commit | f87c8b434a3024972c6bc85c072d80adbed3e778 (patch) | |
| tree | 7fdd11ffe34488a9d19b33c3457024dcf91c747e /src/bdd | |
| parent | e463930709e964aede28851114edb77b10d95501 (diff) | |
| download | abc-f87c8b434a3024972c6bc85c072d80adbed3e778.tar.gz abc-f87c8b434a3024972c6bc85c072d80adbed3e778.tar.bz2 abc-f87c8b434a3024972c6bc85c072d80adbed3e778.zip | |
Modification suggested by David Geiger to fix an obscure memory problem.
Diffstat (limited to 'src/bdd')
| -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; |