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