From a87a3b4e330b6abf4411ccf72503cadd10aeb44e Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Thu, 23 Feb 2012 11:58:59 -0800
Subject: Bug fix in stadard cell library representation.

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

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

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