diff options
| -rw-r--r-- | src/aig/gia/giaScript.c | 4 |
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 ); |