diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-28 11:32:26 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-09-28 11:32:26 -0700 |
commit | fbc9c00fd15057c6372e399cd6bf443da70e490c (patch) | |
tree | 730229ddcf367aba1831c43727b49d9f42fcce70 /src/base/wlc/wlcWriteVer.c | |
parent | 69bd355467df6347b6f071c58346c61f44be05e5 (diff) | |
download | abc-fbc9c00fd15057c6372e399cd6bf443da70e490c.tar.gz abc-fbc9c00fd15057c6372e399cd6bf443da70e490c.tar.bz2 abc-fbc9c00fd15057c6372e399cd6bf443da70e490c.zip |
Renaming DSD commands (dsd_tune -> dsd_match; dsd_clean -> dsd_filter).
Diffstat (limited to 'src/base/wlc/wlcWriteVer.c')
-rw-r--r-- | src/base/wlc/wlcWriteVer.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/wlc/wlcWriteVer.c b/src/base/wlc/wlcWriteVer.c index afc1f9ba..c2a22af9 100644 --- a/src/base/wlc/wlcWriteVer.c +++ b/src/base/wlc/wlcWriteVer.c @@ -299,7 +299,7 @@ void Wlc_WriteVerInt( FILE * pFile, Wlc_Ntk_t * p ) fprintf( pFile, "CPL_FF" ); if ( Wlc_ObjRange(pObj) > 1 ) fprintf( pFile, "#%d", Wlc_ObjRange(pObj) ); - fprintf( pFile, " %reg%d (", i ); + fprintf( pFile, " reg%d (", i ); fprintf( pFile, " .q( %s ),", pName ); fprintf( pFile, " .qbar()," ); fprintf( pFile, " .d( %s ),", Wlc_ObjName(p, Wlc_ObjId(p, Wlc_ObjFoToFi(p, pObj))) ); |