From 808e6f0089c2bdc590ba77b1ccef93aa774e0bf8 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 18 Nov 2015 17:59:31 -0800 Subject: [PATCH] chore(library/blast/backward/backward_rule_set): unused variable --- src/library/blast/backward/backward_rule_set.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/library/blast/backward/backward_rule_set.cpp b/src/library/blast/backward/backward_rule_set.cpp index 9b038b892..c161fc4fd 100644 --- a/src/library/blast/backward/backward_rule_set.cpp +++ b/src/library/blast/backward/backward_rule_set.cpp @@ -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";