From b584fea24a562a8c44c5a92b25704fc9a306cbeb Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 24 Mar 2012 11:52:13 -0700
Subject: Bug fix in the mapper: using an object after it is deleted.

---
 src/map/amap/amapPerm.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/map/amap/amapPerm.c')

diff --git a/src/map/amap/amapPerm.c b/src/map/amap/amapPerm.c
index a16e8979..1ba91890 100644
--- a/src/map/amap/amapPerm.c
+++ b/src/map/amap/amapPerm.c
@@ -215,11 +215,11 @@ Vec_Int_t * Amap_LibDeriveGatePerm_rec( Amap_Lib_t * pLib, Kit_DsdNtk_t * pNtk,
             break;
         }
     }
-    Vec_IntFree( vNodFanin );
-    Vec_IntFree( vDsdLits );
 //    assert( iDsdLit == Vec_IntSize(vDsdLits) );
     if ( iDsdLit != Vec_IntSize(vDsdLits) )
         Vec_IntFreeP( &vPerm );
+    Vec_IntFree( vNodFanin );
+    Vec_IntFree( vDsdLits );
     return vPerm;
 }
 
-- 
cgit v1.2.3