diff --git a/repos/base/include/base/session_label.h b/repos/base/include/base/session_label.h index 756ed5c75..d5e752d12 100644 --- a/repos/base/include/base/session_label.h +++ b/repos/base/include/base/session_label.h @@ -33,6 +33,16 @@ struct Genode::Session_label : String<160> using String = String; using String::String; + /** + * Copy constructor + * + * This constructor is needed because GCC 8 disregards derived + * copy constructors as candidate. + */ + template + Session_label(Genode::String const &other) + : Genode::String<160>(other) { } + Session_label last_element() const { char const * const full = string();