diff --git a/src/util/splay_map.h b/src/util/splay_map.h
index cc65ddee5..cc6c1fdfe 100644
--- a/src/util/splay_map.h
+++ b/src/util/splay_map.h
@@ -32,7 +32,7 @@ public:
     void insert(K const & k, T const & v) { m_map.insert(mk_pair(k, v)); }
     entry const * find(K const & k) const { return m_map.find(mk_pair(k, T())); }
     bool contains(K const & k) const { return m_map.contains(mk_pair(k, T())); }
-    entry const * splay_find(K const & k) { return m_map.contains(mk_pair(k, T())); }
+    entry const * splay_find(K const & k) { return m_map.splay_find(mk_pair(k, T())); }
     void erase(K const & k) { m_map.erase(mk_pair(k, T())); }
 
     class ref {