diff options
Diffstat (limited to 'src/opt/lpk')
| -rw-r--r-- | src/opt/lpk/lpkCore.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/opt/lpk/lpkCore.c b/src/opt/lpk/lpkCore.c index 91e7c715..a9088d10 100644 --- a/src/opt/lpk/lpkCore.c +++ b/src/opt/lpk/lpkCore.c @@ -63,7 +63,6 @@ void Lpk_IfManStart( Lpk_Man_t * p ) pPars->fFancy = 0; pPars->fExpRed = 0; // pPars->fLatchPaths = 0; - pPars->fSeqMap = 0; pPars->fVerbose = 0; // internal parameters pPars->fTruth = 1; |