update

[l4.git] / kernel / fiasco / src / jdb / ia32 / jdb_bp-ia32-ux.cpp

diff --git a/kernel/fiasco/src/jdb/ia32/jdb_bp-ia32-ux.cpp b/kernel/fiasco/src/jdb/ia32/jdb_bp-ia32-ux.cpp
index 9e43a04ec0b21e8a2575029e0ffd7487eaf48f1e..8f42966143811fbfe40cc4c2b99fbf371b679196 100644 (file)
--- a/kernel/fiasco/src/jdb/ia32/jdb_bp-ia32-ux.cpp
+++ b/kernel/fiasco/src/jdb/ia32/jdb_bp-ia32-ux.cpp
@@ -81,6 +81,7 @@ IMPLEMENTATION[ia32,amd64,ux]:
 #include "jdb_tbuf.h"
 #include "l4_types.h"
 #include "static_init.h"
+#include "task.h"
 #include "thread.h"
 
 class Jdb_set_bp : public Jdb_module, public Jdb_input_task_addr