From b9480c0b22dec07304242de11b59e2111858e6c2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Tue, 19 Feb 2019 13:28:06 +0100
Subject: [PATCH] audio_player: remove deprecated APIs

Issue #140.
---
 src/app/audio_player/main.cc | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

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 <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());