diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-07-25 20:02:56 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-07-25 20:02:56 -0700 |
| commit | 7d81490fe66c0deda91ef04be6d1f79be7025c6a (patch) | |
| tree | eca04b4414d77d187cd81e0638569e66c9010069 /src/map/mio/exp.h | |
| parent | 9bfe2ad73aaa4d03bb1273950f873e3adb83fb29 (diff) | |
| download | abc-7d81490fe66c0deda91ef04be6d1f79be7025c6a.tar.gz abc-7d81490fe66c0deda91ef04be6d1f79be7025c6a.tar.bz2 abc-7d81490fe66c0deda91ef04be6d1f79be7025c6a.zip | |
Generating abstraction of standard cell library.
Diffstat (limited to 'src/map/mio/exp.h')
| -rw-r--r-- | src/map/mio/exp.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/map/mio/exp.h b/src/map/mio/exp.h index 73a8f683..1e14b1bd 100644 --- a/src/map/mio/exp.h +++ b/src/map/mio/exp.h @@ -175,7 +175,7 @@ static inline word Exp_Truth6Lit( int nVars, int Lit, word * puFanins, word * pu if ( Lit == EXP_CONST0 ) return 0; if ( Lit == EXP_CONST1 ) - return ~0; + return ~(word)0; if ( Lit < 2 * nVars ) return (Lit&1) ? ~puFanins[Lit/2] : puFanins[Lit/2]; return (Lit&1) ? ~puNodes[Lit/2-nVars] : puNodes[Lit/2-nVars]; |