Bug fix in stadard cell library representation.

a87a3b4e · Alan Mishchenko · 871684d2 · a87a3b4e
Commit a87a3b4e authored Feb 23, 2012 by Alan Mishchenko
Show whitespace changes
Inline Side-by-side

Showing with 3 additions and 1 deletions

src/map/amap/amapPerm.c
+3 -1

No files found.
--- 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;
 }