diff options
Diffstat (limited to 'src/map')
-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 ) { |