diff --git a/repos/os/src/lib/sandbox/route_model.h b/repos/os/src/lib/sandbox/route_model.h index 619a4a9e39..f2a01ab7f1 100644 --- a/repos/os/src/lib/sandbox/route_model.h +++ b/repos/os/src/lib/sandbox/route_model.h @@ -87,7 +87,7 @@ class Sandbox::Route_model : Noncopyable friend class List; friend class Route_model; - friend void destroy(Allocator &, Rule *); + friend void Genode::destroy(Allocator &, Rule *); Allocator &_alloc;