X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/c02c23b58bcb65fea74d86d33bcc1b094ef97902..51f012d0ec4f0ad687159ed6685b73f90f1cfc71:/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 049e1c12d..88e293cb9 100644
--- 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"