audio_player: remove deprecated APIs

Issue #140.
This commit is contained in:
Josef Söntgen
2019-02-19 13:28:06 +01:00
committed by Norman Feske
parent f925ce9b31
commit b9480c0b22

View File

@@ -15,7 +15,6 @@
#include <base/attached_rom_dataspace.h>
#include <libc/component.h>
#include <base/heap.h>
#include <base/printf.h>
#include <base/sleep.h>
#include <os/reporter.h>
#include <util/retry.h>
@@ -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<char>(),
playlist_rom.size());