update

[l4.git] / kernel / fiasco / src / kern / thread-ipc.cpp

diff --git a/kernel/fiasco/src/kern/thread-ipc.cpp b/kernel/fiasco/src/kern/thread-ipc.cpp
index 4312daafc307d03813c8b155c0eb6985427cbff5..97c6a428a33b7b066d4267ad3eb1600cb670cbfa 100644 (file)
--- a/kernel/fiasco/src/kern/thread-ipc.cpp
+++ b/kernel/fiasco/src/kern/thread-ipc.cpp
@@ -1,5 +1,6 @@
 INTERFACE:
 
+#include "l4_buf_iter.h"
 #include "l4_error.h"
 
 class Syscall_frame;
@@ -93,7 +94,6 @@ IMPLEMENTATION:
 
 #include "l4_types.h"
 #include "l4_msg_item.h"
-#include "l4_buf_iter.h"
 
 #include "config.h"
 #include "cpu_lock.h"