From d814ee612a4b596d10c594582ab24fefc8ce545b Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 11 Sep 2018 17:37:55 -0700
Subject: [PATCH] chore(kernel/local_ctx): typo

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

diff --git a/src/kernel/local_ctx.cpp b/src/kernel/local_ctx.cpp
index 18d965f481..128a618b89 100644
--- a/src/kernel/local_ctx.cpp
+++ b/src/kernel/local_ctx.cpp
@@ -81,7 +81,7 @@ local_decl const & local_ctx::get_local_decl(name const & n) const {
     if (local_decl const * r = m_name2local_decl.find(n))
         return *r;
     else
-        throw exception(sstream() << "unknown local constant: " << n);
+        throw exception(sstream() << "unknown free variable: " << n);
 }
 
 expr local_ctx::get_local(name const & n) const {