diff --git a/src/app/audio_player/main.cc b/src/app/audio_player/main.cc index c350031..97a1054 100644 --- a/src/app/audio_player/main.cc +++ b/src/app/audio_player/main.cc @@ -15,7 +15,6 @@ #include #include #include -#include #include #include #include @@ -685,7 +684,7 @@ void Audio_player::Main::handle_playlist() { playlist_rom.update(); - if (!playlist_rom.is_valid()) { return; } + if (!playlist_rom.valid()) { return; } Genode::Xml_node node(playlist_rom.local_addr(), playlist_rom.size());