From 8f504907ee9a4f213a6400e32d0d599b8f5aaeb5 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Fri, 5 Oct 2012 15:02:26 -0700 Subject: Bug fix in XOR balancing (command 'balance -x'). --- 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 f31c6fc7..1000e2a9 100644 --- a/src/opt/dar/darBalance.c +++ b/src/opt/dar/darBalance.c @@ -514,7 +514,7 @@ Aig_Obj_t * Dar_Balance_rec( Aig_Man_t * pNew, Aig_Obj_t * pObjOld, Vec_Vec_t * if ( vSuper->nSize == 0 ) return (Aig_Obj_t *)(pObjOld->pData = Aig_ManConst0(pNew)); if ( vSuper->nSize == 1 ) - return (Aig_Obj_t *)Vec_PtrEntry(vSuper, 0); + return ((Aig_Obj_t *)Vec_PtrEntry(vSuper, 0))->pData; if ( Vec_PtrSize(vSuper) < 2 ) printf( "Dar_Balance_rec: Internal error!\n" ); // for each old node, derive the new well-balanced node -- cgit v1.2.3