diff --git a/src/map/amap/amapPerm.c b/src/map/amap/amapPerm.c
index 7c471ca41..8aef11adc 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;
 }