From 14c36efbabbd0414732e9828b540bd77b496baaa Mon Sep 17 00:00:00 2001
From: Piotr Tworek <tworaz@tworaz.net>
Date: Thu, 16 Sep 2021 08:44:53 +0200
Subject: [PATCH] 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
---
 repos/os/src/lib/sandbox/route_model.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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<Rule>;
 				friend class Route_model;
-				friend void destroy<Rule>(Allocator &, Rule *);
+				friend void Genode::destroy<Rule>(Allocator &, Rule *);
 
 				Allocator &_alloc;