diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-08 13:17:15 +0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2013-01-08 13:17:15 +0800 |
| commit | 08a9f58aba0cce90b218b3c92dd63ce7f2735c69 (patch) | |
| tree | ceeae99df5289d4dd2462e11940d7e2515ce2c5a | |
| parent | 81a1d97079c75e1fa537f71a91e87872b8ccaba7 (diff) | |
| download | abc-08a9f58aba0cce90b218b3c92dd63ce7f2735c69.tar.gz abc-08a9f58aba0cce90b218b3c92dd63ce7f2735c69.tar.bz2 abc-08a9f58aba0cce90b218b3c92dd63ce7f2735c69.zip | |
Fixing C++ compilation issues.
| -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 1000e2a9..c2ebfc61 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))->pData; + return (Aig_Obj_t *)((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 |