diff options
| -rw-r--r-- | src/map/amap/amapPerm.c | 4 |
1 files changed, 3 insertions, 1 deletions
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; } |