diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-17 23:38:11 -0800 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2012-01-17 23:38:11 -0800 |
| commit | 2a236864ab0b9f96f917addc96ee7442abb09d9d (patch) | |
| tree | bc770cf75a0eb36c6413e75a9beef00fc39bf9a9 /src/base/abci/abcIf.c | |
| parent | d8d705c717c077ee8b618d32fcd4fdaa1f0656d5 (diff) | |
| download | abc-2a236864ab0b9f96f917addc96ee7442abb09d9d.tar.gz abc-2a236864ab0b9f96f917addc96ee7442abb09d9d.tar.bz2 abc-2a236864ab0b9f96f917addc96ee7442abb09d9d.zip | |
Changes to the lazy man's synthesis code.
Diffstat (limited to 'src/base/abci/abcIf.c')
| -rw-r--r-- | src/base/abci/abcIf.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/base/abci/abcIf.c b/src/base/abci/abcIf.c index bdc0970d..674a4550 100644 --- a/src/base/abci/abcIf.c +++ b/src/base/abci/abcIf.c @@ -490,8 +490,8 @@ Abc_Obj_t * Abc_NodeFromIf_rec( Abc_Ntk_t * pNtkNew, If_Man_t * pIfMan, If_Obj_t } else if ( pIfMan->pPars->fUserRecLib ) { - extern Hop_Obj_t * Abc_RecToHop( Hop_Man_t * pMan, If_Man_t * pIfMan, If_Cut_t * pCut ); - pNodeNew->pData = Abc_RecToHop( (Hop_Man_t *)pNtkNew->pManFunc, pIfMan, pCutBest ); + extern Hop_Obj_t * Abc_RecToHop( Hop_Man_t * pMan, If_Man_t * pIfMan, If_Cut_t * pCut, If_Obj_t * pIfObj ); + pNodeNew->pData = Abc_RecToHop( (Hop_Man_t *)pNtkNew->pManFunc, pIfMan, pCutBest, pIfObj); } else { |