summaryrefslogtreecommitdiffstats
path: root/src
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2012-02-23 11:58:59 -0800
committerAlan Mishchenko <alanmi@berkeley.edu>2012-02-23 11:58:59 -0800
commita87a3b4e330b6abf4411ccf72503cadd10aeb44e (patch)
tree70c93424e9c18dc080ea6c8dfe8b7c54b0478490 /src
parent871684d2a03708315b5e067a294dbba9608f2766 (diff)
downloadabc-a87a3b4e330b6abf4411ccf72503cadd10aeb44e.tar.gz
abc-a87a3b4e330b6abf4411ccf72503cadd10aeb44e.tar.bz2
abc-a87a3b4e330b6abf4411ccf72503cadd10aeb44e.zip
Bug fix in stadard cell library representation.
Diffstat (limited to 'src')
-rw-r--r--src/map/amap/amapPerm.c4
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;
}