diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2021-11-08 21:17:37 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2021-11-08 21:17:37 -0800 |
commit | 079a309a0d0bbe89eccfb64cdae55d1db73ca03a (patch) | |
tree | 979c02b5c81d79eabe850de25db7fb49f3ac2512 /src/base/wlc/wlcBlast.c | |
parent | 621d6355f475670cfdba5b685c65ee4dfd4207ea (diff) | |
download | abc-079a309a0d0bbe89eccfb64cdae55d1db73ca03a.tar.gz abc-079a309a0d0bbe89eccfb64cdae55d1db73ca03a.tar.bz2 abc-079a309a0d0bbe89eccfb64cdae55d1db73ca03a.zip |
Bug fix in processing NDR.
Diffstat (limited to 'src/base/wlc/wlcBlast.c')
-rw-r--r-- | src/base/wlc/wlcBlast.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/wlc/wlcBlast.c b/src/base/wlc/wlcBlast.c index 4ec8d7ff..6e910cd8 100644 --- a/src/base/wlc/wlcBlast.c +++ b/src/base/wlc/wlcBlast.c @@ -2110,7 +2110,7 @@ Gia_Man_t * Wlc_NtkBitBlast( Wlc_Ntk_t * p, Wlc_BstPar_t * pParIn ) // complement flop inputs whose init state is 1 for ( i = 0; i < nFf2Regs; i++ ) Gia_ManAppendCo( pNew, Gia_ManAppendCi(pNew) ); - //Gia_ManSetRegNum( pNew, nFf2Regs ); + Gia_ManSetRegNum( pNew, nFf2Regs ); } else { |