From b442fe66b2b008021a18a12ce1d8fcdac602aac8 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sun, 22 Nov 2015 18:24:59 -0800 Subject: [PATCH] chore(library/blast/simple_strategy): fix style --- src/library/blast/simple_strategy.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/library/blast/simple_strategy.cpp b/src/library/blast/simple_strategy.cpp index 113cad2efe..790e5501d6 100644 --- a/src/library/blast/simple_strategy.cpp +++ b/src/library/blast/simple_strategy.cpp @@ -26,7 +26,6 @@ namespace blast { /** \brief Implement a simple proof strategy for blast. We use it mainly for testing new actions and the whole blast infra-structure. */ class simple_strategy : public strategy { - action_result hypothesis_pre_activation(hypothesis_idx hidx) override { Try(assumption_contradiction_actions(hidx)); Try(simplify_hypothesis_action(hidx));