From ec5bc5825d1ffb1262e950fd0bbf3433747ebdee Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Sat, 16 Aug 2014 18:34:20 -0700 Subject: Adding specialized matching to 'if'. --- src/map/if/ifMan.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/map') diff --git a/src/map/if/ifMan.c b/src/map/if/ifMan.c index f65775d2..0d66814b 100644 --- a/src/map/if/ifMan.c +++ b/src/map/if/ifMan.c @@ -130,7 +130,7 @@ If_Man_t * If_ManStart( If_Par_t * pPars ) // abctime clk = Abc_Clock(); extern int Bat_ManCellFuncLookup( void * pMan, unsigned * pTruth, int nVars, int nLeaves, char * pStr ); extern void Bat_ManFuncSetupTable(); - pPars->pFuncCell = Bat_ManCellFuncLookup; + pPars->pFuncCell = (int (*) (If_Man_t *, unsigned *, int, int, char *))Bat_ManCellFuncLookup; Bat_ManFuncSetupTable(); // Abc_PrintTime( 1, "Setup time", Abc_Clock() - clk ); } -- cgit v1.2.3