Compiler warning.

7ff2bce0 · Alan Mishchenko · 25ebef0b · 7ff2bce0
Commit 7ff2bce0 authored Jul 01, 2014 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/aig/gia/giaUtil.c
+1 -1

No files found.
--- a/src/aig/gia/giaUtil.c
+++ b/src/aig/gia/giaUtil.c
@@ -352,7 +352,7 @@ void Gia_ObjSetPhase( Gia_Man_t * p, Gia_Obj_t * pObj )
        if ( Gia_ObjIsMux(p, pObj) )
        {
            int fPhase2 = Gia_ObjPhase(Gia_ObjFanin2(p, pObj)) ^ Gia_ObjFaninC2(p, pObj);
-            pObj->fPhase = (fPhase2 & fPhase1) | (!fPhase2 & fPhase0);
+            pObj->fPhase = (fPhase2 && fPhase1) || (!fPhase2 && fPhase0);
        }
        else if ( Gia_ObjIsXor(pObj) )
            pObj->fPhase = fPhase0 ^ fPhase1;