From d13bbe5b5fe9131686092dd07080113b0678e27f Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 3 Mar 2011 10:01:28 -0800
Subject: Bug fix in &fraig.

---
 src/aig/cec/cecCore.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/aig/cec/cecCore.c b/src/aig/cec/cecCore.c
index 5e71dbff..369c4a40 100644
--- a/src/aig/cec/cecCore.c
+++ b/src/aig/cec/cecCore.c
@@ -436,9 +436,12 @@ p->timeSat += clock() - clk;
 
         // update the manager
         pSim->pAig = p->pAig = Gia_ManEquivReduceAndRemap( pTemp = p->pAig, 0, pParsSim->fDualOut );
-        Gia_ManStop( pTemp );
         if ( p->pAig == NULL )
+        {
+            p->pAig = pTemp;
             break;
+        }
+        Gia_ManStop( pTemp );
         if ( p->pPars->fVerbose )
         {
             Abc_Print( 1, "%3d : P =%7d. D =%7d. F =%6d. M = %7d. And =%8d. ", 
-- 
cgit v1.2.3