base/registry.h: remove misleading comment

2020-04-06 10:33:25 +02:00
parent 838c5ba7de
commit 6dfd268ef1
1 changed files with 0 additions and 3 deletions
--- 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 { };

 				/*