From bd18516dddcf35b33cfc18ef1890e82f41be6c90 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Sun, 1 May 2016 19:01:30 -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 874826b674..b6c5cd6695 100644
--- a/src/library/local_context.cpp
+++ b/src/library/local_context.cpp
@@ -68,7 +68,7 @@ bool depends_on(local_decl const & d, unsigned num, expr const * locals) {
         return true;
     if (auto v = d.get_value())
         return depends_on(*v, num, locals);
-    return true;
+    return false;
 }
 
 bool depends_on(expr const & e, buffer<expr> const & locals) {