From 0e5af861e09d94b9c1acd6bf0ab8b013a9544d24 Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 21 Nov 2020 09:52:08 -1000 Subject: Fixing a memory corruption problem accidentally introduced by fixing memory leaks on Sep 28. --- src/aig/gia/giaScript.c | 4 ++-- 1 file 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 ); -- cgit v1.2.3