diff options
Diffstat (limited to 'common/parallel_refine.cc')
| -rw-r--r-- | common/parallel_refine.cc | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/common/parallel_refine.cc b/common/parallel_refine.cc index c2905480..bc665cd3 100644 --- a/common/parallel_refine.cc +++ b/common/parallel_refine.cc @@ -23,8 +23,8 @@ #if !defined(__wasm) #include "fast_bels.h" -#include "timing.h" #include "scope_lock.h" +#include "timing.h" #include <chrono> #include <mutex> @@ -952,10 +952,7 @@ NEXTPNR_NAMESPACE_END NEXTPNR_NAMESPACE_BEGIN -bool parallel_refine(Context *ctx, ParallelRefineCfg cfg) -{ - log_abort(); -} +bool parallel_refine(Context *ctx, ParallelRefineCfg cfg) { log_abort(); } NEXTPNR_NAMESPACE_END |