From c5d56be4ee0865d26839ee28afa60b60253297e8 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 10 Jun 2016 15:32:56 -0700
Subject: [PATCH] fix(library/local_context): typo

---
 src/library/local_context.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/library/local_context.cpp b/src/library/local_context.cpp
index 707ef8518d..8201cb1c08 100644
--- a/src/library/local_context.cpp
+++ b/src/library/local_context.cpp
@@ -129,7 +129,7 @@ optional<local_decl> local_context::find_if(std::function<bool(local_decl const
 }
 
 optional<local_decl> local_context::back_find_if(std::function<bool(local_decl const &)> const & pred) const { // NOLINT
-    return m_idx2local_decl.find_if([&](unsigned, local_decl const & d) { return pred(d); });
+    return m_idx2local_decl.back_find_if([&](unsigned, local_decl const & d) { return pred(d); });
 }
 
 optional<local_decl> local_context::get_local_decl_from_user_name(name const & n) const {