From 14f761950d20a38b13ea330baf9e800b64faae90 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Fri, 3 May 2013 21:53:13 -0700
Subject: Fix to return equiv classes after improving &iso.

---
 src/aig/gia/giaIso2.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src')

diff --git a/src/aig/gia/giaIso2.c b/src/aig/gia/giaIso2.c
index e878e19f..17b3ec40 100644
--- a/src/aig/gia/giaIso2.c
+++ b/src/aig/gia/giaIso2.c
@@ -678,7 +678,6 @@ Gia_Man_t * Gia_ManIsoReduce2( Gia_Man_t * pGia, Vec_Ptr_t ** pvPosEquivs, Vec_P
     printf( "Reduced %d outputs to %d equivalence classes (%d outputs are in %d non-trivial classes).  ", 
         Gia_ManPoNum(pGia), Vec_WecSize(vEquivs), nUsedPos, nClasses );
     Abc_PrintTime( 1, "Time", clock() - clk );
-    Vec_WecFree( vEquivs );
     if ( fVerbose )
     { 
         printf( "Nontrivial classes:\n" );
@@ -688,6 +687,7 @@ Gia_Man_t * Gia_ManIsoReduce2( Gia_Man_t * pGia, Vec_Ptr_t ** pvPosEquivs, Vec_P
         *pvPiPerms = NULL;
     if ( pvPosEquivs )
         *pvPosEquivs = Vec_WecConvertToVecPtr( vEquivs );
+    Vec_WecFree( vEquivs );
 //    Gia_ManStopP( &pPart );
     return pPart;
 }
-- 
cgit v1.2.3