diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2016-06-03 13:22:24 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2016-06-03 13:22:24 -0700 |
| commit | 93c785e80250f4e7f4637d3d9317a5cf2e278b69 (patch) | |
| tree | 3a2064f5a8ac25ab24850d658b68cf59eaafc2e5 /src/aig/gia/giaDup.c | |
| parent | e33d6e8d9d8f84c2f06bd251d459e758714aed57 (diff) | |
| download | abc-93c785e80250f4e7f4637d3d9317a5cf2e278b69.tar.gz abc-93c785e80250f4e7f4637d3d9317a5cf2e278b69.tar.bz2 abc-93c785e80250f4e7f4637d3d9317a5cf2e278b69.zip | |
Small changes for today's experiments.
Diffstat (limited to 'src/aig/gia/giaDup.c')
| -rw-r--r-- | src/aig/gia/giaDup.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaDup.c b/src/aig/gia/giaDup.c index 3ffb948e..a2277294 100644 --- a/src/aig/gia/giaDup.c +++ b/src/aig/gia/giaDup.c @@ -2949,7 +2949,7 @@ Gia_Man_t * Gia_ManDupCones( Gia_Man_t * p, int * pPos, int nPos, int fTrimPis ) // start the new manager // Gia_ManFillValue( p ); - pNew = Gia_ManStart( Vec_PtrSize(vLeaves) + Vec_PtrSize(vNodes) + Vec_PtrSize(vRoots) + 1); + pNew = Gia_ManStart( (fTrimPis ? Vec_PtrSize(vLeaves) : Gia_ManCiNum(p)) + Vec_PtrSize(vNodes) + Vec_PtrSize(vRoots) + 1 ); pNew->pName = Abc_UtilStrsav( p->pName ); pNew->pSpec = Abc_UtilStrsav( p->pSpec ); // map the constant node |