From 9119c3f9fb8cdabcf3785bb83792506d1004bb24 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Tue, 24 Mar 2015 18:36:14 -0700
Subject: [PATCH] fix(shell/lean): uninitialized variable

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

diff --git a/src/shell/lean.cpp b/src/shell/lean.cpp
index 2b8e5eeac3..d654a65f44 100644
--- a/src/shell/lean.cpp
+++ b/src/shell/lean.cpp
@@ -355,7 +355,7 @@ int main(int argc, char ** argv) {
     std::string index_name;
     optional<unsigned> line;
     optional<unsigned> column;
-    bool show_goal;
+    bool show_goal = false;
     input_kind default_k = input_kind::Unspecified;
     while (true) {
         int c = getopt_long(argc, argv, g_opt_str, g_long_options, NULL);