Index: kernel/generic/include/ipc/ipcrsc.h
===================================================================
--- kernel/generic/include/ipc/ipcrsc.h	(revision e8039a869ee74ce2d6837e91b5331acd3a5a541d)
+++ kernel/generic/include/ipc/ipcrsc.h	(revision 22dfd380be327d91cff2394cd2f3d9143dd73a90)
@@ -42,5 +42,5 @@
 extern int phone_get(sysarg_t, phone_t **);
 extern int phone_alloc(task_t *);
-extern void phone_connect(int, answerbox_t *);
+extern bool phone_connect(int, answerbox_t *);
 extern void phone_dealloc(int);