From 7078448ac1bf46c0efef53db538df13884a18a76 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@ens-rennes.fr>
Date: Sun, 20 Jan 2019 19:44:10 +0100
Subject: [PATCH] thread_local fields must be static, no need to move to the
 factory

---
 src/kernel/context/ContextSwapped.hpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/kernel/context/ContextSwapped.hpp b/src/kernel/context/ContextSwapped.hpp
index 60d998777e..ad618f9796 100644
--- a/src/kernel/context/ContextSwapped.hpp
+++ b/src/kernel/context/ContextSwapped.hpp
@@ -47,7 +47,6 @@ public:
 
   void* get_stack();
 
-  // FIXME: Killme
   static thread_local uintptr_t worker_id_;
 
 private:
-- 
2.20.1