diff options
| author | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2020-08-21 09:24:48 +0300 |
|---|---|---|
| committer | Hennadii Stepanov <32963518+hebasto@users.noreply.github.com> | 2020-09-24 06:55:34 +0300 |
| commit | 6784ac471bb32b6bb8e2de60986f123eb4990706 (patch) | |
| tree | e7562ee6a686db825ecc79b9a210f9dee6fdd120 /src/checkqueue.h | |
| parent | dba30695fc42f45828db008e7e5b81cb2b5d8551 (diff) | |
bench: Use CCheckQueue local thread pool
Diffstat (limited to 'src/checkqueue.h')
| -rw-r--r-- | src/checkqueue.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/checkqueue.h b/src/checkqueue.h index fcd6e87af3..83b371fd42 100644 --- a/src/checkqueue.h +++ b/src/checkqueue.h @@ -159,12 +159,6 @@ public: } } - //! Worker thread - void Thread() - { - Loop(false /* worker thread */); - } - //! Wait until execution finishes, and return whether all evaluations were successful. bool Wait() { |