diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-05 15:02:26 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-05 15:02:26 -0700 |
| commit | 8f504907ee9a4f213a6400e32d0d599b8f5aaeb5 (patch) | |
| tree | 37b251665677475af040b88f043200dc2a37380d | |
| parent | e01e49369f2c73547253be980638ccf17d9c81f8 (diff) | |
| download | abc-8f504907ee9a4f213a6400e32d0d599b8f5aaeb5.tar.gz abc-8f504907ee9a4f213a6400e32d0d599b8f5aaeb5.tar.bz2 abc-8f504907ee9a4f213a6400e32d0d599b8f5aaeb5.zip | |
Bug fix in XOR balancing (command 'balance -x').
| -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 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 |