Fixing a memory corruption problem accidentally introduced by fixing memory leaks on Sep 28.

0e5af861 · Alan Mishchenko · 48f71ada · 0e5af861
Commit 0e5af861 authored Nov 21, 2020 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 2 additions and 2 deletions

src/aig/gia/giaScript.c
+2 -2

No files found.
--- 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 );