diff --git a/emper/Runtime.hpp b/emper/Runtime.hpp
index e5dbe6305e5f19f677f116cd7b110f1b7c7b1dbc..87ec2bf9770daa56f3311cc86e5950ca126c6883 100644
--- a/emper/Runtime.hpp
+++ b/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;