diff options
Diffstat (limited to 'src/base/abci/abcPart.c')
| -rw-r--r-- | src/base/abci/abcPart.c | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/base/abci/abcPart.c b/src/base/abci/abcPart.c index 5df5af62..7ae435d8 100644 --- a/src/base/abci/abcPart.c +++ b/src/base/abci/abcPart.c @@ -18,9 +18,9 @@ ***********************************************************************/ -#include "abc.h" -#include "main.h" -#include "cmd.h" +#include "src/base/abc/abc.h" +#include "src/base/main/main.h" +#include "src/base/cmd/cmd.h" ABC_NAMESPACE_IMPL_START @@ -594,7 +594,7 @@ int Abc_NtkPartitionSmartFindPart( Vec_Ptr_t * vPartSuppsAll, Vec_Ptr_t * vParts if ( Vec_IntSize(vPartSupp) < 100 ) Repulse = 1; else - Repulse = 1+Extra_Base2Log(Vec_IntSize(vPartSupp)-100); + Repulse = 1+Abc_Base2Log(Vec_IntSize(vPartSupp)-100); Value = Attract/Repulse; if ( ValueBest < Value ) { |