diff --git a/src/aig/gia/giaScript.c b/src/aig/gia/giaScript.c
index f32b16583..b52288a94 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 );