From dd7ebb2c95a47745c12a9bb8274b2362f96afea1 Mon Sep 17 00:00:00 2001
From: Emery Hemingway <githubjunk@spam.works>
Date: Sun, 2 Apr 2017 16:48:23 -0500
Subject: fixup! support for the Genode OS framework (#5653)

Allocate thread metadata at createThread.
---
 lib/genode_cpp/threads.h | 1 -
 1 file changed, 1 deletion(-)

(limited to 'lib/genode_cpp/threads.h')

diff --git a/lib/genode_cpp/threads.h b/lib/genode_cpp/threads.h
index a1cd61cd2..043f808f1 100644
--- a/lib/genode_cpp/threads.h
+++ b/lib/genode_cpp/threads.h
@@ -13,7 +13,6 @@
 #define _GENODE_CPP__THREAD_H_
 
 #include <base/thread.h>
-#include <util/avl_tree.h>
 #include <util/reconstructible.h>
 
 namespace Nim { struct SysThread; }
-- 
cgit 1.4.1-2-gfad0