diff --git a/repos/os/src/server/nic_router/port_allocator.cc b/repos/os/src/server/nic_router/port_allocator.cc index 8c955705e3..fab135c2c0 100644 --- a/repos/os/src/server/nic_router/port_allocator.cc +++ b/repos/os/src/server/nic_router/port_allocator.cc @@ -18,12 +18,8 @@ using namespace Net; using namespace Genode; -bool Net::dynamic_port(Port const port) -{ - return port.value >= (unsigned)Port_allocator::FIRST && - port.value < (unsigned)Port_allocator::FIRST + - Port_allocator::COUNT; -} +bool Net::dynamic_port(Port const port) { + return port.value >= Port_allocator::FIRST; } /********************