summaryrefslogtreecommitdiffstats
path: root/src/aig/aig
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-10-09 09:23:08 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2012-10-09 09:23:08 -0700
commit4ed89d00fed5a93a53bbd5ce168c7fd0b3295f54 (patch)
treee60a62749972a1b404e6e15bbfc4558c0cf6b23f /src/aig/aig
parent7b9f4a278df2d6bced4dd32d00f1b57f33117119 (diff)
downloadabc-4ed89d00fed5a93a53bbd5ce168c7fd0b3295f54.tar.gz
abc-4ed89d00fed5a93a53bbd5ce168c7fd0b3295f54.tar.bz2
abc-4ed89d00fed5a93a53bbd5ce168c7fd0b3295f54.zip
Making explicit cast to 64-bit unsigned in a few places.
Diffstat (limited to 'src/aig/aig')
-rw-r--r--src/aig/aig/aigPack.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/aig/aigPack.c b/src/aig/aig/aigPack.c
index 3dcd19b1..0f0ad72f 100644
--- a/src/aig/aig/aigPack.c
+++ b/src/aig/aig/aigPack.c
@@ -185,7 +185,7 @@ void Aig_ManPackSimulate( Aig_ManPack_t * p )
word Sign, Sign0, Sign1;
int i;
// set the constant
- Vec_WrdWriteEntry( p->vSigns, 0, (word)~0 );
+ Vec_WrdWriteEntry( p->vSigns, 0, ~(word)0 );
// transfer into the array
Aig_ManForEachCi( p->pAig, pObj, i )
Vec_WrdWriteEntry( p->vSigns, Aig_ObjId(pObj), Vec_WrdEntry(p->vPiPats, i) );