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/bool | |
| parent | 9289d7151661a13f5a26f8e7b2e7412acca2e283 (diff) | |
| download | abc-c31e593b09b85bdd4ace6aa9452ce55ec7959392.tar.gz abc-c31e593b09b85bdd4ace6aa9452ce55ec7959392.tar.bz2 abc-c31e593b09b85bdd4ace6aa9452ce55ec7959392.zip | |
Windows Visual Studio 2008 warnings.
Diffstat (limited to 'src/bool')
| -rw-r--r-- | src/bool/rsb/rsbDec6.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bool/rsb/rsbDec6.c b/src/bool/rsb/rsbDec6.c index a0e066fc..df30eb1a 100644 --- a/src/bool/rsb/rsbDec6.c +++ b/src/bool/rsb/rsbDec6.c @@ -484,7 +484,7 @@ void Rsb_DecPrintFunc( Rsb_Man_t * p, unsigned Truth4, word * f, word ** ppGs, i printf( "Offset : " ); Abc_TtPrintBinary( &Copy, nVars ); //printf( "\n" ); - Copy >>= (1 << nVars); + Copy >>= ((word)1 << nVars); printf( "Onset : " ); Abc_TtPrintBinary( &Copy, nVars ); //printf( "\n" ); printf( "Result : " ); |