diff --git a/repos/os/src/server/dynamic_rom/main.cc b/repos/os/src/server/dynamic_rom/main.cc index 1312004bda..0d7637cdf7 100644 --- a/repos/os/src/server/dynamic_rom/main.cc +++ b/repos/os/src/server/dynamic_rom/main.cc @@ -252,7 +252,7 @@ struct Dynamic_rom::Main Xml_node config = Genode::config()->xml_node(); return config.has_attribute("verbose") - & config.attribute("verbose").has_value("yes"); + && config.attribute("verbose").has_value("yes"); } bool verbose = _verbose_config();