summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2020-11-21 09:52:08 -1000
committerAlan Mishchenko <alanmi@berkeley.edu>2020-11-21 09:52:08 -1000
commit0e5af861e09d94b9c1acd6bf0ab8b013a9544d24 (patch)
tree09bf5d8dce99213b4e0bdb75f3f275dca53e621d
parent48f71adacd7727280498f414ad992257c23d76d7 (diff)
downloadabc-0e5af861e09d94b9c1acd6bf0ab8b013a9544d24.tar.gz
abc-0e5af861e09d94b9c1acd6bf0ab8b013a9544d24.tar.bz2
abc-0e5af861e09d94b9c1acd6bf0ab8b013a9544d24.zip
Fixing a memory corruption problem accidentally introduced by fixing memory leaks on Sep 28.
-rw-r--r--src/aig/gia/giaScript.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/aig/gia/giaScript.c b/src/aig/gia/giaScript.c
index f32b1658..b52288a9 100644
--- a/src/aig/gia/giaScript.c
+++ b/src/aig/gia/giaScript.c
@@ -165,7 +165,7 @@ Gia_Man_t * Gia_ManAigSyn3( Gia_Man_t * p, int fVerbose, int fVeryVerbose )
{
pNew = Gia_ManDup(p);
Gia_ManTransferTiming( pNew, p );
- Gia_ManStop( p );
+ //Gia_ManStop( p );
return pNew;
}
// perform balancing
@@ -202,7 +202,7 @@ Gia_Man_t * Gia_ManAigSyn4( Gia_Man_t * p, int fVerbose, int fVeryVerbose )
{
pNew = Gia_ManDup(p);
Gia_ManTransferTiming( pNew, p );
- Gia_ManStop( p );
+ //Gia_ManStop( p );
return pNew;
}
//Gia_ManAigPrintPiLevels( p );