From 8d3ae665e7145a5d7ae1c5f68996ec8d9755c041 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 29 Sep 2013 17:30:08 -0700 Subject: [PATCH] fix(splay_map): fix typo Signed-off-by: Leonardo de Moura --- 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 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 {