diff options
Diffstat (limited to 'src/aig/gia/giaCone.c')
| -rw-r--r-- | src/aig/gia/giaCone.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaCone.c b/src/aig/gia/giaCone.c index d35aefb8..ba0a8a2e 100644 --- a/src/aig/gia/giaCone.c +++ b/src/aig/gia/giaCone.c @@ -445,7 +445,7 @@ Vec_Wrd_t * Gia_ManDeriveSigns( Gia_Man_t * p, Vec_Int_t * vPivots, int fVerbose if ( ~pObj->Value ) { assert( pObj->Value >= 0 && pObj->Value < 64 ); - *Vec_WrdEntryP( vSigns, i ) |= ( 1 << pObj->Value ); + *Vec_WrdEntryP( vSigns, i ) |= ( (word)1 << pObj->Value ); } if ( Gia_ObjIsAnd(pObj) ) *Vec_WrdEntryP( vSigns, i ) |= Vec_WrdEntry(vSigns, Gia_ObjFaninId0(pObj, i)) | Vec_WrdEntry(vSigns, Gia_ObjFaninId1(pObj, i)); |