From 7a8d56b9adb56d49a58001cb8627650d3df63bcd Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Mon, 17 Nov 2014 17:46:08 -0800
Subject: AND/OR bug in the UIF computation.

---
 src/base/wlc/wlcAbs.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/base/wlc/wlcAbs.c b/src/base/wlc/wlcAbs.c
index 0ffb887d..40e94b8b 100644
--- a/src/base/wlc/wlcAbs.c
+++ b/src/base/wlc/wlcAbs.c
@@ -234,7 +234,7 @@ Wlc_Ntk_t * Wlc_NtkUifNodePairs( Wlc_Ntk_t * p, Vec_Int_t * vPairsInit )
         iObjNew2 = Wlc_ObjCreate( p, WLC_OBJ_COMP_EQU, 0, 0, 0, vFanins );
         // create implication node (iObjNew is already complemented above)
         Vec_IntFillTwo( vFanins, 2, iObjNew, iObjNew2 );
-        iObjNew = Wlc_ObjCreate( p, WLC_OBJ_LOGIC_AND, 0, 0, 0, vFanins );
+        iObjNew = Wlc_ObjCreate( p, WLC_OBJ_LOGIC_OR, 0, 0, 0, vFanins );
         // save the constraint
         Vec_IntPush( vUifConstrs, iObjNew );
     }
-- 
cgit v1.2.3