From 7d81490fe66c0deda91ef04be6d1f79be7025c6a Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 25 Jul 2014 20:02:56 -0700
Subject: Generating abstraction of standard cell library.

---
 src/map/mio/exp.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/map/mio/exp.h')

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];
-- 
cgit v1.2.3