summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2021-08-03 10:14:10 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2021-08-03 10:14:10 -0700
commitae98e57caf61e6ef24c449cc98193d394bac434f (patch)
tree2b0d792fc7eb08fd74c60358719001b318c213f9
parentdd87461ac9c0876c4b8f085e973db5449e379b73 (diff)
downloadabc-ae98e57caf61e6ef24c449cc98193d394bac434f.tar.gz
abc-ae98e57caf61e6ef24c449cc98193d394bac434f.tar.bz2
abc-ae98e57caf61e6ef24c449cc98193d394bac434f.zip
Bug fix.
-rw-r--r--src/opt/dar/darBalance.c2
1 files changed, 1 insertions, 1 deletions
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);
}