diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-09 09:23:08 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-09 09:23:08 -0700 |
| commit | 4ed89d00fed5a93a53bbd5ce168c7fd0b3295f54 (patch) | |
| tree | e60a62749972a1b404e6e15bbfc4558c0cf6b23f /src/aig | |
| parent | 7b9f4a278df2d6bced4dd32d00f1b57f33117119 (diff) | |
| download | abc-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')
| -rw-r--r-- | src/aig/aig/aigPack.c | 2 |
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) ); |