diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-20 14:25:27 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-05-20 14:25:27 -0700 |
| commit | c31e593b09b85bdd4ace6aa9452ce55ec7959392 (patch) | |
| tree | 8548b02549a58ef2e5b8ce2373818dfce929b310 /src/aig/gia/giaCone.c | |
| parent | 9289d7151661a13f5a26f8e7b2e7412acca2e283 (diff) | |
| download | abc-c31e593b09b85bdd4ace6aa9452ce55ec7959392.tar.gz abc-c31e593b09b85bdd4ace6aa9452ce55ec7959392.tar.bz2 abc-c31e593b09b85bdd4ace6aa9452ce55ec7959392.zip | |
Windows Visual Studio 2008 warnings.
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)); |