From fbc9c00fd15057c6372e399cd6bf443da70e490c Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sun, 28 Sep 2014 11:32:26 -0700 Subject: Renaming DSD commands (dsd_tune -> dsd_match; dsd_clean -> dsd_filter). --- src/base/wlc/wlcWriteVer.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/base/wlc/wlcWriteVer.c') 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))) ); -- cgit v1.2.3