diff --git a/repos/os/src/drivers/nic/include/drivers/nic/uplink_client_base.h b/repos/os/src/drivers/nic/include/drivers/nic/uplink_client_base.h index a3b31fcda3..730e602b81 100644 --- a/repos/os/src/drivers/nic/include/drivers/nic/uplink_client_base.h +++ b/repos/os/src/drivers/nic/include/drivers/nic/uplink_client_base.h @@ -230,7 +230,7 @@ class Genode::Uplink_client_base : Noncopyable } catch (...) { - warning("exception while trying to forward packet from driver" + warning("exception while trying to forward packet from driver " "to Uplink connection TX"); return;