From 6dfd268ef151c7b28627031f5c1cce1ba5a502bf Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 6 Apr 2020 10:33:25 +0200
Subject: [PATCH] base/registry.h: remove misleading comment

---
 repos/base/include/base/registry.h | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/repos/base/include/base/registry.h b/repos/base/include/base/registry.h
index 45c0bf9205..4fcd3cb8f2 100644
--- a/repos/base/include/base/registry.h
+++ b/repos/base/include/base/registry.h
@@ -49,9 +49,6 @@ class Genode::Registry_base
 
 				Registry_base &_registry;
 
-				/**
-				 * Protect '_reinsert_ptr'
-				 */
 				Mutex _mutex { };
 
 				/*