diff options
Diffstat (limited to 'src/aig/fra/fraMan.c')
| -rw-r--r-- | src/aig/fra/fraMan.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/aig/fra/fraMan.c b/src/aig/fra/fraMan.c index 95cf28d8..4dcc4988 100644 --- a/src/aig/fra/fraMan.c +++ b/src/aig/fra/fraMan.c @@ -86,6 +86,7 @@ void Fra_ParamsDefaultSeq( Fra_Par_t * pPars ) pPars->nFramesK = 1; // the number of timeframes to unroll pPars->fConeBias = 0; pPars->fRewrite = 0; + pPars->fLatchCorr = 0; } /**Function************************************************************* |