From 8632b7ae276c04907cea92f73c72eab33fe7b691 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 22 Nov 2015 18:27:23 -0800 Subject: [PATCH] chore(library/blast/backward/backward_strategy): remove unused param --- src/library/blast/backward/backward_strategy.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/library/blast/backward/backward_strategy.cpp b/src/library/blast/backward/backward_strategy.cpp index 3dfded2bda..128dc106cd 100644 --- a/src/library/blast/backward/backward_strategy.cpp +++ b/src/library/blast/backward/backward_strategy.cpp @@ -60,7 +60,7 @@ class backward_strategy : public strategy { return action_result::new_branch(); } - virtual action_result hypothesis_post_activation(hypothesis_idx hidx) override { + virtual action_result hypothesis_post_activation(hypothesis_idx) override { return action_result::new_branch(); }