diff options
Diffstat (limited to 'src/common/threadpool.h')
| -rw-r--r-- | src/common/threadpool.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/common/threadpool.h b/src/common/threadpool.h index 9455e9f66..1d56d7605 100644 --- a/src/common/threadpool.h +++ b/src/common/threadpool.h @@ -65,7 +65,7 @@ public: // task to finish. void submit(waiter *waiter, std::function<void()> f); - int get_max_concurrency() { return max; } + int get_max_concurrency(); private: threadpool(); |