From 9fffb004b2a36b4653c5446a67c24d46e0026894 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Tue, 31 Jan 2017 12:32:47 +0100
Subject: [PATCH] os/timer.h: disambiguate Timer::curr_time

---
 repos/os/include/os/timer.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/repos/os/include/os/timer.h b/repos/os/include/os/timer.h
index 8d1639302d..963daeb9cf 100644
--- a/repos/os/include/os/timer.h
+++ b/repos/os/include/os/timer.h
@@ -89,6 +89,7 @@ struct Genode::Timer : private Genode::Timer_time_source,
                        public  Genode::Alarm_timeout_scheduler
 {
 	using Time_source::Microseconds;
+	using Alarm_timeout_scheduler::curr_time;
 
 	Timer(::Timer::Session &session, Entrypoint &ep)
 	: