X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/67d10e76e1e5d38d6624679c59e192ee897de76f..615241fa4695499799cebfd8a6dc8d90f3a93f13:/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 4312daafc..97c6a428a 100644
--- 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"