diff options
author | Alan Mishchenko <alanmi@berkeley.edu> | 2022-02-22 21:14:48 -0800 |
---|---|---|
committer | Alan Mishchenko <alanmi@berkeley.edu> | 2022-02-22 21:14:48 -0800 |
commit | bcf21e46778f63ab4ce490b57648421a2b4d7e28 (patch) | |
tree | f35738df6caf0fd31e6cc6560bc529b475246445 /src/base/abci/abcRestruct.c | |
parent | 31519bd6d6c9cff4691019f72e0faf72e37bde88 (diff) | |
download | abc-bcf21e46778f63ab4ce490b57648421a2b4d7e28.tar.gz abc-bcf21e46778f63ab4ce490b57648421a2b4d7e28.tar.bz2 abc-bcf21e46778f63ab4ce490b57648421a2b4d7e28.zip |
Intersection a bug in rewrite/refactor.
Diffstat (limited to 'src/base/abci/abcRestruct.c')
-rw-r--r-- | src/base/abci/abcRestruct.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/base/abci/abcRestruct.c b/src/base/abci/abcRestruct.c index ef5dd451..87f15238 100644 --- a/src/base/abci/abcRestruct.c +++ b/src/base/abci/abcRestruct.c @@ -105,7 +105,7 @@ static void Abc_NtkManRstPrintStats( Abc_ManRst_t * p ); ***********************************************************************/ int Abc_NtkRestructure( Abc_Ntk_t * pNtk, int nCutMax, int fUpdateLevel, int fUseZeros, int fVerbose ) { - extern void Dec_GraphUpdateNetwork( Abc_Obj_t * pRoot, Dec_Graph_t * pGraph, int fUpdateLevel, int nGain ); + extern int Dec_GraphUpdateNetwork( Abc_Obj_t * pRoot, Dec_Graph_t * pGraph, int fUpdateLevel, int nGain ); ProgressBar * pProgress; Abc_ManRst_t * pManRst; Cut_Man_t * pManCut; |