diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-08-03 10:14:10 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-08-03 10:14:10 -0700 |
| commit | ae98e57caf61e6ef24c449cc98193d394bac434f (patch) | |
| tree | 2b0d792fc7eb08fd74c60358719001b318c213f9 /src/opt | |
| parent | dd87461ac9c0876c4b8f085e973db5449e379b73 (diff) | |
| download | abc-ae98e57caf61e6ef24c449cc98193d394bac434f.tar.gz abc-ae98e57caf61e6ef24c449cc98193d394bac434f.tar.bz2 abc-ae98e57caf61e6ef24c449cc98193d394bac434f.zip | |
Bug fix.
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/dar/darBalance.c | 2 |
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); } |