diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2018-06-16 14:52:20 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2018-06-16 14:52:20 -0700 |
commit | f4a267d5815e5041c499e12322d70d7996093473 (patch) | |
tree | c3e91686171a4b60a4e284dd178b4629575e32a2 /src/base/wlc/wlcWriteVer.c | |
parent | 15939511df8ff1ce15f2112cee01d7693234f2a4 (diff) | |
download | abc-f4a267d5815e5041c499e12322d70d7996093473.tar.gz abc-f4a267d5815e5041c499e12322d70d7996093473.tar.bz2 abc-f4a267d5815e5041c499e12322d70d7996093473.zip |
Bug fix in 'lutpack' (level count overflow).
Diffstat (limited to 'src/base/wlc/wlcWriteVer.c')
-rw-r--r-- | src/base/wlc/wlcWriteVer.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/base/wlc/wlcWriteVer.c b/src/base/wlc/wlcWriteVer.c index 45ce31e4..93e2c2c6 100644 --- a/src/base/wlc/wlcWriteVer.c +++ b/src/base/wlc/wlcWriteVer.c @@ -321,7 +321,6 @@ void Wlc_WriteVerInt( FILE * pFile, Wlc_Ntk_t * p, int fNoFlops ) else if ( pObj->Type == WLC_OBJ_ARI_ADDSUB ) { // out = mode ? a+b+cin : a-b-cin - int nRange = Wlc_ObjRange(Wlc_ObjFanin0(p, pObj)); fprintf( pFile, "%s ;\n", Wlc_ObjName(p, i) ); fprintf( pFile, " " ); fprintf( pFile, "assign " ); |