update

[l4.git] / kernel / fiasco / src / jdb / jdb_dump.cpp

diff --git a/kernel/fiasco/src/jdb/jdb_dump.cpp b/kernel/fiasco/src/jdb/jdb_dump.cpp
index 049e1c12d88755af2d78be21bf2522d42d14db69..88e293cb969d129ead1c723a5cc1ca2d1aab9c62 100644 (file)
--- a/kernel/fiasco/src/jdb/jdb_dump.cpp
+++ b/kernel/fiasco/src/jdb/jdb_dump.cpp
@@ -16,6 +16,7 @@ IMPLEMENTATION:
 #include "jdb_disasm.h"
 #include "jdb_table.h"
 #include "jdb_input.h"
+#include "jdb_input_task.h"
 #include "jdb_module.h"
 #include "jdb_screen.h"
 #include "jdb_symbol.h"