diff options
Diffstat (limited to 'src/base')
-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 " ); |