From ae98e57caf61e6ef24c449cc98193d394bac434f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Tue, 3 Aug 2021 10:14:10 -0700 Subject: Bug fix. --- src/opt/dar/darBalance.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/opt/dar/darBalance.c b/src/opt/dar/darBalance.c index f51a7852..871a6bb3 100644 --- a/src/opt/dar/darBalance.c +++ b/src/opt/dar/darBalance.c @@ -415,7 +415,7 @@ Aig_Obj_t * Dar_BalanceBuildSuper( Aig_Man_t * p, Vec_Ptr_t * vSuper, Aig_Type_t pObj2 = (Aig_Obj_t *)Vec_PtrPop(vSuper); Dar_BalancePushUniqueOrderByLevel( vSuper, Aig_Oper(p, pObj1, pObj2, Type), Type == AIG_OBJ_EXOR ); } - return (Aig_Obj_t *)Vec_PtrEntry(vSuper, 0); + return vSuper->nSize ? (Aig_Obj_t *)Vec_PtrEntry(vSuper, 0) : Aig_ManConst0(p); } -- cgit v1.2.3