From 68566713da1f5eaf712caf06b3750d2e6f92ee43 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 8 May 2013 10:24:00 -0700
Subject: Bug fix in the sweeper.

---
 src/proof/ssc/sscCore.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/proof')

diff --git a/src/proof/ssc/sscCore.c b/src/proof/ssc/sscCore.c
index 1a57a47c..1ba5cf04 100644
--- a/src/proof/ssc/sscCore.c
+++ b/src/proof/ssc/sscCore.c
@@ -216,7 +216,7 @@ int Ssc_GiaResimulateOneClass( Ssc_Man_t * p, int iRepr, int iObj )
 Gia_Man_t * Ssc_PerformSweeping( Gia_Man_t * pAig, Gia_Man_t * pCare, Ssc_Pars_t * pPars )
 {
     Ssc_Man_t * p;
-    Gia_Man_t * pResult;
+    Gia_Man_t * pResult, * pTemp;
     Gia_Obj_t * pObj, * pRepr;
     clock_t clk, clkTotal = clock();
     int i, fCompl, nRefined, status;
@@ -341,6 +341,8 @@ p->timeSimSat += clock() - clk;
         ABC_FREE( pAig->pNexts );
         pResult = Gia_ManDup( pAig );
     }
+    pResult = Gia_ManCleanup( pTemp = pResult );
+    Gia_ManStop( pTemp );
     p->timeTotal = clock() - clkTotal;
     if ( pPars->fVerbose )
         Ssc_ManPrintStats( p );
-- 
cgit v1.2.3