diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-11 09:17:34 -0700 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-04-11 09:17:34 -0700 |
commit | b50894ab6469081cfc4684d19c02be74c248d2ca (patch) | |
tree | 627600ab9b82fc61f23a0ac96bac94a81e9b093e /src/opt | |
parent | b9274a07deec99f6b9e23d3bf481b2e5213c5e8f (diff) | |
download | abc-b50894ab6469081cfc4684d19c02be74c248d2ca.tar.gz abc-b50894ab6469081cfc4684d19c02be74c248d2ca.tar.bz2 abc-b50894ab6469081cfc4684d19c02be74c248d2ca.zip |
Removed obsolete code for sequential mapping.
Diffstat (limited to 'src/opt')
-rw-r--r-- | src/opt/lpk/lpkCore.c | 1 | ||||
-rw-r--r-- | src/opt/nwk/nwkMap.c | 1 |
2 files changed, 0 insertions, 2 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; diff --git a/src/opt/nwk/nwkMap.c b/src/opt/nwk/nwkMap.c index 0b54e74e..d3431c42 100644 --- a/src/opt/nwk/nwkMap.c +++ b/src/opt/nwk/nwkMap.c @@ -64,7 +64,6 @@ void Nwk_ManSetIfParsDefault( If_Par_t * pPars ) pPars->fEdge = 1; pPars->fPower = 0; pPars->fCutMin = 0; - pPars->fSeqMap = 0; pPars->fVerbose = 0; // internal parameters pPars->fTruth = 0; |