diff options
Diffstat (limited to 'src/opt')
| -rw-r--r-- | src/opt/lpk/lpkCore.c | 3 | ||||
| -rw-r--r-- | src/opt/nwk/nwkMap.c | 3 |
2 files changed, 4 insertions, 2 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; diff --git a/src/opt/nwk/nwkMap.c b/src/opt/nwk/nwkMap.c index 599dc3ee..5f08e179 100644 --- a/src/opt/nwk/nwkMap.c +++ b/src/opt/nwk/nwkMap.c @@ -68,7 +68,8 @@ void Nwk_ManSetIfParsDefault( If_Par_t * pPars ) pPars->fVerbose = 0; // internal parameters pPars->fTruth = 0; - pPars->nLatches = 0; + pPars->nLatchesCi = 0; + pPars->nLatchesCo = 0; pPars->fLiftLeaves = 0; // pPars->pLutLib = Abc_FrameReadLibLut(); pPars->pLutLib = NULL; |