diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-24 17:39:38 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-10-24 17:39:38 -0700 |
| commit | 6b96d9a84e1356295c8c25588915701bd9160001 (patch) | |
| tree | 620261ecac8299bd3b259a11bef7b513efefb7a4 /src/proof/llb | |
| parent | 5cd1396b3d752c968cd558f02625ce5f12688415 (diff) | |
| download | abc-6b96d9a84e1356295c8c25588915701bd9160001.tar.gz abc-6b96d9a84e1356295c8c25588915701bd9160001.tar.bz2 abc-6b96d9a84e1356295c8c25588915701bd9160001.zip | |
Integrating GIA with LUT mapping.
Diffstat (limited to 'src/proof/llb')
| -rw-r--r-- | src/proof/llb/llb4Map.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/llb/llb4Map.c b/src/proof/llb/llb4Map.c index 51f1fec6..4b46f308 100644 --- a/src/proof/llb/llb4Map.c +++ b/src/proof/llb/llb4Map.c @@ -48,7 +48,7 @@ Vec_Int_t * Llb_AigMap( Aig_Man_t * pAig, int nLutSize, int nLutMin ) { extern Abc_Ntk_t * Abc_NtkFromAigPhase( Aig_Man_t * pMan ); extern If_Man_t * Abc_NtkToIf( Abc_Ntk_t * pNtk, If_Par_t * pPars ); - extern void Gia_ManSetIfParsDefault( If_Par_t * pPars ); + extern void Gia_ManSetIfParsDefault( void * pPars ); If_Par_t Pars, * pPars = &Pars; If_Man_t * pIfMan; If_Obj_t * pAnd; |