diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-15 15:40:11 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-02-15 15:40:11 -0800 |
| commit | 17c78313cc2c9cef4ef734d95e9dd2036be97e2e (patch) | |
| tree | 3ae4b25099d4952062cbc5ef0a4f38a1f128e5fa /src/misc/extra | |
| parent | d6157c75162dc4668ce156754141ab7309770fd3 (diff) | |
| download | abc-17c78313cc2c9cef4ef734d95e9dd2036be97e2e.tar.gz abc-17c78313cc2c9cef4ef734d95e9dd2036be97e2e.tar.bz2 abc-17c78313cc2c9cef4ef734d95e9dd2036be97e2e.zip | |
Compiler warnings.
Diffstat (limited to 'src/misc/extra')
| -rw-r--r-- | src/misc/extra/extraBddMisc.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/misc/extra/extraBddMisc.c b/src/misc/extra/extraBddMisc.c index b0ba07d7..09e13c7c 100644 --- a/src/misc/extra/extraBddMisc.c +++ b/src/misc/extra/extraBddMisc.c @@ -1465,7 +1465,7 @@ static DdNode * extraBddCountCubes( DdManager * dd, DdNode * L, DdNode * U, st__ cuddCacheInsert2(dd, cuddBddIsop, L, U, r); *pnCubes = Count0 + Count1 + Count2; - if ( st__add_direct( table, (char *)r, (char *)*pnCubes ) == st__OUT_OF_MEM ) + if ( st__add_direct( table, (char *)r, (char *)(ABC_PTRINT_T)*pnCubes ) == st__OUT_OF_MEM ) { Cudd_RecursiveDeref( dd, r ); return NULL; |