update

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

diff --git a/kernel/fiasco/src/jdb/jdb_kern_info.cpp b/kernel/fiasco/src/jdb/jdb_kern_info.cpp
index a236586b09144a4712f1d72df317c7ba7d4c9e25..07cdecf8ea09b12b2af7b76fcb4c1c3e45b5ebd3 100644 (file)
--- a/kernel/fiasco/src/jdb/jdb_kern_info.cpp
+++ b/kernel/fiasco/src/jdb/jdb_kern_info.cpp
@@ -1,7 +1,7 @@
 INTERFACE:
 
 #include "jdb_module.h"
-#include <slist>
+#include <cxx/slist>
 
 class Jdb_kern_info_module;