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

chore(library/blast/backward/backward_rule_set): unused variable

Browse source
This commit is contained in:
Leonardo de Moura 2015-11-18 17:59:31 -08:00
parent 413989afd6
commit 808e6f0089
1 changed files with 0 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/library/blast/backward/backward_rule_set.cpp
View file

@ -87,7 +87,6 @@ backward_rule_set get_backward_rule_sets(environment const & env, io_state const
}
io_state_stream const & operator<<(io_state_stream const & out, backward_rule_set const & brs) {
options const & opts = out.get_options();
out << "backward rules\n";
brs.for_each([&](head_index const & head_idx, backward_rule const & r) {
out << head_idx << " ==> " << r.get_proof() << "\n";