From 17c78313cc2c9cef4ef734d95e9dd2036be97e2e Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 15 Feb 2015 15:40:11 -0800 Subject: Compiler warnings. --- src/misc/extra/extraBddMisc.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/misc') 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; -- cgit v1.2.3