diff --git a/repos/base/include/base/session_label.h b/repos/base/include/base/session_label.h index 0836e9a78..756ed5c75 100644 --- a/repos/base/include/base/session_label.h +++ b/repos/base/include/base/session_label.h @@ -25,13 +25,12 @@ struct Genode::Session_label : String<160> { private: - typedef String String; - static char const *_separator() { return " -> "; } static size_t _separator_len() { return 4; } public: + using String = String; using String::String; Session_label last_element() const