michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

chore(library/blast/simplifier/simplifier_actions): fix warnings

Browse source
This commit is contained in:
Leonardo de Moura 2015-11-19 19:47:04 -08:00
parent 21cb409e6c
commit d5b0a45aa4
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
src/library/blast/simplifier/simplifier_actions.cpp
View file

@ -21,8 +21,8 @@ struct simplifier_branch_extension : public branch_extension {
virtual ~simplifier_branch_extension() {} virtual ~simplifier_branch_extension() {}
virtual branch_extension * clone() override { return new simplifier_branch_extension(*this); } 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 initialized() override { m_srss = ::lean::get_simp_rule_sets(env()); }
virtual void hypothesis_activated(hypothesis const & h, hypothesis_idx hidx) override { } virtual void hypothesis_activated(hypothesis const &, hypothesis_idx) override { }
virtual void hypothesis_deleted(hypothesis const & h, hypothesis_idx) override { } virtual void hypothesis_deleted(hypothesis const &, hypothesis_idx) override { }
simp_rule_sets const & get_simp_rule_sets() const { return m_srss; } simp_rule_sets const & get_simp_rule_sets() const { return m_srss; }
}; };