From 91b68b6b90d73783ecabe758dfcebc61d85ee859 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Fri, 3 Feb 2017 19:55:19 -0800
Subject: [PATCH] chore(frontends/lean/parser): remove dead variable

---
 src/frontends/lean/parser.cpp | 3 +--
 src/frontends/lean/parser.h   | 1 -
 2 files changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/frontends/lean/parser.cpp b/src/frontends/lean/parser.cpp
index 5e583a897f..44d9c2c27a 100644
--- a/src/frontends/lean/parser.cpp
+++ b/src/frontends/lean/parser.cpp
@@ -158,7 +158,7 @@ parser::parser(environment const & env, io_state const & ios,
                std::istream & strm, std::string const & file_name,
                bool use_exceptions,
                std::shared_ptr<snapshot const> const & s, snapshot_vector * sv):
-    m_env(env), m_ios(ios), m_verbose(true),
+    m_env(env), m_ios(ios),
     m_use_exceptions(use_exceptions),
     m_import_fn(import_fn),
     m_file_name(file_name),
@@ -264,7 +264,6 @@ void parser::declare_sorry_if_used() {
 }
 
 void parser::updt_options() {
-    m_verbose        = get_verbose(m_ios.get_options());
     m_show_errors    = get_parser_show_errors(m_ios.get_options());
 }
 
diff --git a/src/frontends/lean/parser.h b/src/frontends/lean/parser.h
index ba0deaa609..128189069d 100644
--- a/src/frontends/lean/parser.h
+++ b/src/frontends/lean/parser.h
@@ -125,7 +125,6 @@ enum class id_behavior {
 class parser : public abstract_parser {
     environment             m_env;
     io_state                m_ios;
-    bool                    m_verbose;
     bool                    m_use_exceptions;
     bool                    m_show_errors;
     module_loader           m_import_fn;