os: Disambiguate Genode::destroy in route_model.h

Clang can't figure it out on its own. I can't blame it for this to be
honest. Lets be clear which destroy method we're talking about here.

Issue #4421
This commit is contained in:
Piotr Tworek 2021-09-16 08:44:53 +02:00 committed by Norman Feske
parent f1f3b423ec
commit 14c36efbab

View File

@ -87,7 +87,7 @@ class Sandbox::Route_model : Noncopyable
friend class List<Rule>;
friend class Route_model;
friend void destroy<Rule>(Allocator &, Rule *);
friend void Genode::destroy<Rule>(Allocator &, Rule *);
Allocator &_alloc;