diff options
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]; |