[Runtime] Make getDefaultWorkerCount() public

emper/Runtime.hpp

@@ -117,8 +117,6 @@ class Runtime : public Logger<LogSubsystem::RUNTI> {
 
 	static void printLastRuntimeStats(std::ostream& out = std::cout);
 
-	static auto getDefaultWorkerCount() -> workerid_t;
-
 	static auto shouldPinWorkers() -> bool;
 	static auto getDefaultPinningOffset() -> workerid_t;
 
@@ -248,6 +246,8 @@ class Runtime : public Logger<LogSubsystem::RUNTI> {
 
 	void executeAndWait(std::function<void()> f);
 
+	static auto getDefaultWorkerCount() -> workerid_t;
+
 	friend class AbstractWorkStealingScheduler;
 	friend class WsDispatcher;
 	friend class LawsDispatcher;