summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-08-11 18:34:14 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2014-08-11 18:34:14 -0700
commit0722dde6f935115277cf27940e85a8eede66f19c (patch)
tree44bcd424e56221c1a185d2e4a99d4d1df2342263
parent68ce0bc1c1a642495358e8e5d96e9212236a517b (diff)
downloadabc-0722dde6f935115277cf27940e85a8eede66f19c.tar.gz
abc-0722dde6f935115277cf27940e85a8eede66f19c.tar.bz2
abc-0722dde6f935115277cf27940e85a8eede66f19c.zip
Increasing the size of pre-allocated memory in &syn2.
-rw-r--r--src/aig/gia/giaBalance.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/aig/gia/giaBalance.c b/src/aig/gia/giaBalance.c
index 65c87387..02315747 100644
--- a/src/aig/gia/giaBalance.c
+++ b/src/aig/gia/giaBalance.c
@@ -699,7 +699,7 @@ Gia_Man_t * Dam_ManMultiAig( Dam_Man_t * pMan )
Gia_Obj_t * pObj;
int i;
// start the new manager
- pNew = Gia_ManStart( Gia_ManObjNum(p) );
+ pNew = Gia_ManStart( 2*Gia_ManObjNum(p) );
pNew->pName = Abc_UtilStrsav( p->pName );
pNew->pSpec = Abc_UtilStrsav( p->pSpec );
pNew->pMuxes = ABC_CALLOC( unsigned, pNew->nObjsAlloc );