diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-11 17:19:41 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-11 17:19:41 -0700 |
| commit | 8b160138f129387fba66e60009cbeef3b9559eb7 (patch) | |
| tree | 94707d8772d685da7c54d2fb04f3d9d0d159bf8f /src/map/if | |
| parent | 09a5950c8f8dd52d3883fb914663fd535ea38ae4 (diff) | |
| download | abc-8b160138f129387fba66e60009cbeef3b9559eb7.tar.gz abc-8b160138f129387fba66e60009cbeef3b9559eb7.tar.bz2 abc-8b160138f129387fba66e60009cbeef3b9559eb7.zip | |
MUX decomposition during mapping.
Diffstat (limited to 'src/map/if')
| -rw-r--r-- | src/map/if/ifMap.c | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/map/if/ifMap.c b/src/map/if/ifMap.c index 035ce966..e192c90e 100644 --- a/src/map/if/ifMap.c +++ b/src/map/if/ifMap.c @@ -272,7 +272,6 @@ void If_ObjPerformMappingAnd( If_Man_t * p, If_Obj_t * pObj, int Mode, int fPrep } else if ( p->pPars->fUseCofVars ) { - extern int Abc_TtCheckCondDepTest( word * pTruth, int nVars, int nSuppLim ); int iCofVar = -1, truthId = Abc_Lit2Var(pCut->iCutFunc); if ( truthId >= Vec_StrSize(p->vTtVars[pCut->nLeaves]) || Vec_StrEntry(p->vTtVars[pCut->nLeaves], truthId) == (char)-1 ) { |