From 0722dde6f935115277cf27940e85a8eede66f19c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Mon, 11 Aug 2014 18:34:14 -0700 Subject: Increasing the size of pre-allocated memory in &syn2. --- src/aig/gia/giaBalance.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/aig/gia') 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 ); -- cgit v1.2.3