diff --git a/repos/os/run/report_rom.run b/repos/os/run/report_rom.run index cc499a4048..61fff6a14c 100644 --- a/repos/os/run/report_rom.run +++ b/repos/os/run/report_rom.run @@ -33,8 +33,7 @@ install_config { - - + diff --git a/repos/os/src/server/report_rom/rom_registry.h b/repos/os/src/server/report_rom/rom_registry.h index 7f303f8930..0dcc2fe0dd 100644 --- a/repos/os/src/server/report_rom/rom_registry.h +++ b/repos/os/src/server/report_rom/rom_registry.h @@ -137,7 +137,7 @@ struct Rom::Registry : Registry_for_reader, Registry_for_writer, Genode::Noncopy catch (Session_policy::No_policy_defined) { } } - warning("no valid policy for ROM request \", rom_label.string(), \""); + warning("no valid policy for ROM request '", rom_label.string(), "'"); throw Root::Invalid_args(); }