From 8b160138f129387fba66e60009cbeef3b9559eb7 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Sat, 11 Oct 2014 17:19:41 -0700
Subject: MUX decomposition during mapping.

---
 src/map/if/ifMap.c | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src/map/if/ifMap.c')

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 )
                 {
-- 
cgit v1.2.3