From d5b0a45aa46065bceba25f9863345ce0b3575b09 Mon Sep 17 00:00:00 2001
From: Leonardo de Moura <leonardo@microsoft.com>
Date: Thu, 19 Nov 2015 19:47:04 -0800
Subject: [PATCH] chore(library/blast/simplifier/simplifier_actions): fix
 warnings

---
 src/library/blast/simplifier/simplifier_actions.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/library/blast/simplifier/simplifier_actions.cpp b/src/library/blast/simplifier/simplifier_actions.cpp
index c1b54e1c5..b38ac2bfb 100644
--- a/src/library/blast/simplifier/simplifier_actions.cpp
+++ b/src/library/blast/simplifier/simplifier_actions.cpp
@@ -21,8 +21,8 @@ struct simplifier_branch_extension : public branch_extension {
     virtual ~simplifier_branch_extension() {}
     virtual branch_extension * clone() override { return new simplifier_branch_extension(*this); }
     virtual void initialized() override { m_srss = ::lean::get_simp_rule_sets(env()); }
-    virtual void hypothesis_activated(hypothesis const & h, hypothesis_idx hidx) override { }
-    virtual void hypothesis_deleted(hypothesis const & h, hypothesis_idx) override { }
+    virtual void hypothesis_activated(hypothesis const &, hypothesis_idx) override { }
+    virtual void hypothesis_deleted(hypothesis const &, hypothesis_idx) override { }
     simp_rule_sets const & get_simp_rule_sets() const { return m_srss; }
 };