diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-31 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-31 08:01:00 -0700 |
| commit | 29c9b0c0c4c66cb09b7c00c5c7290141be2af6a0 (patch) | |
| tree | cd06159f7ddf9e75fc8dff354a7ef5c593b56856 /src/aig/dar/darBalance.c | |
| parent | fefd8b901d89ad0d977db8896c12123cc747e3d7 (diff) | |
| download | abc-29c9b0c0c4c66cb09b7c00c5c7290141be2af6a0.tar.gz abc-29c9b0c0c4c66cb09b7c00c5c7290141be2af6a0.tar.bz2 abc-29c9b0c0c4c66cb09b7c00c5c7290141be2af6a0.zip | |
Version abc70731
Diffstat (limited to 'src/aig/dar/darBalance.c')
| -rw-r--r-- | src/aig/dar/darBalance.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/aig/dar/darBalance.c b/src/aig/dar/darBalance.c index 097f1a4d..9c0997b8 100644 --- a/src/aig/dar/darBalance.c +++ b/src/aig/dar/darBalance.c @@ -54,6 +54,8 @@ Aig_Man_t * Dar_ManBalance( Aig_Man_t * p, int fUpdateLevel ) int i; // create the new manager pNew = Aig_ManStart( Aig_ManObjIdMax(p) + 1 ); + pNew->nRegs = p->nRegs; + pNew->nAsserts = p->nAsserts; // map the PI nodes Aig_ManCleanData( p ); Aig_ManConst1(p)->pData = Aig_ManConst1(pNew); |