From 60157aa92a0eed289eaf3237ee80e0d89205dde8 Mon Sep 17 00:00:00 2001
From: Soonho Kong <soonhok@cs.cmu.edu>
Date: Thu, 26 Sep 2013 19:09:37 -0700
Subject: [PATCH] fix(splay_map): add 'const' to coersion operator of ref class

[skip ci]
---
 src/util/splay_map.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/util/splay_map.h b/src/util/splay_map.h
index a30c8ffa6..a1fe75955 100644
--- a/src/util/splay_map.h
+++ b/src/util/splay_map.h
@@ -41,7 +41,7 @@ public:
     public:
         ref(splay_map & m, K const & k):m_map(m), m_key(k) {}
         ref & operator=(T const & v) { m_map.insert(m_key, v); return *this; }
-        operator T const &() {
+        operator T const &() const {
             entry const * e = m_map.find(m_key);
             if (e) {
                 return e->second;