X-Git-Url: https://rtime.felk.cvut.cz/gitweb/l4.git/blobdiff_plain/67d10e76e1e5d38d6624679c59e192ee897de76f..615241fa4695499799cebfd8a6dc8d90f3a93f13:/kernel/fiasco/src/kern/receiver.cpp

diff --git a/kernel/fiasco/src/kern/receiver.cpp b/kernel/fiasco/src/kern/receiver.cpp
index 474dcd706..bdfb93685 100644
--- a/kernel/fiasco/src/kern/receiver.cpp
+++ b/kernel/fiasco/src/kern/receiver.cpp
@@ -10,6 +10,7 @@ INTERFACE:
 #include "member_offs.h"
 #include "timeout.h"
 #include "prio_list.h"
+#include "ref_obj.h"
 
 class Syscall_frame;
 class Sender;