diff --git a/repos/base-hw/src/core/kernel/signal_receiver.h b/repos/base-hw/src/core/kernel/signal_receiver.h
index f5b2df09f8..6f051213bc 100644
--- a/repos/base-hw/src/core/kernel/signal_receiver.h
+++ b/repos/base-hw/src/core/kernel/signal_receiver.h
@@ -158,10 +158,8 @@ class Kernel::Signal_context
 		 *
 		 * \param r        receiver that the context shall be assigned to
 		 * \param imprint  userland identification of the context
-		 *
-		 * \throw  Assign_to_receiver_failed
 		 */
-		Signal_context(Signal_receiver & r, addr_t const imprint);
+		Signal_context(Signal_receiver &, addr_t const imprint);
 
 		/**
 		 * Submit the signal