diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-10 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2007-07-10 08:01:00 -0700 |
| commit | a8d75dcc60da15644efbd20529609a1495df229a (patch) | |
| tree | 2ff1676ca093b5fc6c4684d59212fc24e030ffb1 /src/aig/dar/darMan.c | |
| parent | 39bc4842e9a3e0c443df5e585bfdece76320870a (diff) | |
| download | abc-a8d75dcc60da15644efbd20529609a1495df229a.tar.gz abc-a8d75dcc60da15644efbd20529609a1495df229a.tar.bz2 abc-a8d75dcc60da15644efbd20529609a1495df229a.zip | |
Version abc70710
Diffstat (limited to 'src/aig/dar/darMan.c')
| -rw-r--r-- | src/aig/dar/darMan.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/dar/darMan.c b/src/aig/dar/darMan.c index 25b15e9c..52df8890 100644 --- a/src/aig/dar/darMan.c +++ b/src/aig/dar/darMan.c @@ -94,7 +94,7 @@ Dar_Man_t * Dar_ManStartFrom( Dar_Man_t * p ) Dar_Obj_t * pObj; int i; // create the new manager - pNew = Dar_ManStart(); + pNew = Dar_ManStart( Dar_ManObjIdMax(p) + 1 ); // create the PIs Dar_ManConst1(p)->pData = Dar_ManConst1(pNew); Dar_ManForEachPi( p, pObj, i ) @@ -119,7 +119,7 @@ Dar_Man_t * Dar_ManDup( Dar_Man_t * p ) Dar_Obj_t * pObj; int i; // create the new manager - pNew = Dar_ManStart(); + pNew = Dar_ManStart( Dar_ManObjIdMax(p) + 1 ); // create the PIs Dar_ManConst1(p)->pData = Dar_ManConst1(pNew); Dar_ManForEachPi( p, pObj, i ) |