update

[l4.git] / kernel / fiasco / src / kern / receiver.cpp

diff --git a/kernel/fiasco/src/kern/receiver.cpp b/kernel/fiasco/src/kern/receiver.cpp
index 474dcd706e5bf0e094ba590b7eb7ce5e030c3cc6..bdfb9368511f5d50a80756430b32940ddfd12161 100644 (file)
--- 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;