Update

[l4.git] / l4 / pkg / dde / include / ddekit / c++ / thread.h

diff --git a/l4/pkg/dde/include/ddekit/c++/thread.h b/l4/pkg/dde/include/ddekit/c++/thread.h
index 9c5ea2bf0de4b2aa317cfffecb9f6595e4d591ae..988dc1cac48da146600d3c8cfa026cb5364b69e3 100644 (file)
--- a/l4/pkg/dde/include/ddekit/c++/thread.h
+++ b/l4/pkg/dde/include/ddekit/c++/thread.h
@@ -22,6 +22,8 @@
 #include <l4/dde/ddekit/lock.h>
 #include <l4/dde/ddekit/memory.h>
 #include <l4/dde/ddekit/printf.h>
+#include <l4/dde/ddekit/c++/memory.h>
+#include <l4/dde/ddekit/c++/lock.h>
 
 namespace DDEKit
 {