From ac1794ed7dce217bcda0432b28d33f1b6df128a5 Mon Sep 17 00:00:00 2001
From: Norman Feske <norman.feske@genode-labs.com>
Date: Mon, 7 Nov 2016 11:14:47 +0100
Subject: [PATCH] base: add const operator * to 'Volatile_object'

---
 repos/base/include/util/volatile_object.h | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/repos/base/include/util/volatile_object.h b/repos/base/include/util/volatile_object.h
index 14bb898928..170cc0bb34 100644
--- a/repos/base/include/util/volatile_object.h
+++ b/repos/base/include/util/volatile_object.h
@@ -142,7 +142,8 @@ class Genode::Volatile_object : Noncopyable
 		MT       *operator -> ()       { _check_constructed(); return       _ptr(); }
 		MT const *operator -> () const { _check_constructed(); return _const_ptr(); }
 
-		MT &operator * () { _check_constructed(); return *_ptr(); }
+		MT       &operator * ()       { _check_constructed(); return       *_ptr(); }
+		MT const &operator * () const { _check_constructed(); return *_const_ptr(); }
 
 		void print(Output &out) const
 		{