summaryrefslogtreecommitdiffstats
path: root/src/base/abci/abcRenode.c
diff options
context:
space:
mode:
authorAlan Mishchenko <alanmi@berkeley.edu>2014-04-11 09:17:34 -0700
committerAlan Mishchenko <alanmi@berkeley.edu>2014-04-11 09:17:34 -0700
commitb50894ab6469081cfc4684d19c02be74c248d2ca (patch)
tree627600ab9b82fc61f23a0ac96bac94a81e9b093e /src/base/abci/abcRenode.c
parentb9274a07deec99f6b9e23d3bf481b2e5213c5e8f (diff)
downloadabc-b50894ab6469081cfc4684d19c02be74c248d2ca.tar.gz
abc-b50894ab6469081cfc4684d19c02be74c248d2ca.tar.bz2
abc-b50894ab6469081cfc4684d19c02be74c248d2ca.zip
Removed obsolete code for sequential mapping.
Diffstat (limited to 'src/base/abci/abcRenode.c')
-rw-r--r--src/base/abci/abcRenode.c1
1 files changed, 0 insertions, 1 deletions
diff --git a/src/base/abci/abcRenode.c b/src/base/abci/abcRenode.c
index 3d5ebc66..c00413f4 100644
--- a/src/base/abci/abcRenode.c
+++ b/src/base/abci/abcRenode.c
@@ -84,7 +84,6 @@ Abc_Ntk_t * Abc_NtkRenode( Abc_Ntk_t * pNtk, int nFaninMax, int nCubeMax, int nF
pPars->fFancy = 0;
pPars->fExpRed = 0; //
pPars->fLatchPaths = 0;
- pPars->fSeqMap = 0;
pPars->fVerbose = fVerbose;
// internal parameters
pPars->fTruth = 1;