diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-08-16 18:34:20 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-08-16 18:34:20 -0700 |
| commit | ec5bc5825d1ffb1262e950fd0bbf3433747ebdee (patch) | |
| tree | 6a89ff64e181a7d55afeb4177b106278a8c035be /src | |
| parent | 18ed4d3448bb0e3a73c0fbdb26e12686544d98f8 (diff) | |
| download | abc-ec5bc5825d1ffb1262e950fd0bbf3433747ebdee.tar.gz abc-ec5bc5825d1ffb1262e950fd0bbf3433747ebdee.tar.bz2 abc-ec5bc5825d1ffb1262e950fd0bbf3433747ebdee.zip | |
Adding specialized matching to 'if'.
Diffstat (limited to 'src')
| -rw-r--r-- | src/map/if/ifMan.c | 2 |
1 files changed, 1 insertions, 1 deletions
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 ); } |