diff options
Diffstat (limited to 'src/opt/lpk')
| -rw-r--r-- | src/opt/lpk/lpkCore.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/opt/lpk/lpkCore.c b/src/opt/lpk/lpkCore.c index b49b0bf3..5019ba83 100644 --- a/src/opt/lpk/lpkCore.c +++ b/src/opt/lpk/lpkCore.c @@ -68,7 +68,8 @@ void Lpk_IfManStart( Lpk_Man_t * p ) // internal parameters pPars->fTruth = 1; pPars->fUsePerm = 0; - pPars->nLatches = 0; + pPars->nLatchesCi = 0; + pPars->nLatchesCo = 0; pPars->pLutLib = NULL; // Abc_FrameReadLibLut(); pPars->pTimesArr = NULL; pPars->pTimesArr = NULL; |