From 3d7b8652519cc43510d44c4173c5699cfcc1b1b2 Mon Sep 17 00:00:00 2001 From: Christian Helmuth Date: Tue, 9 Jun 2015 13:10:09 +0200 Subject: [PATCH] dynamic_rom: fix returned condition --- repos/os/src/server/dynamic_rom/main.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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();