From 8bdc8d0e1a0ed8ebb34c0217a00cb9cd2da79c29 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Wed, 1 Sep 2021 11:35:06 -0700 Subject: [PATCH] Update solver_subsumption_tactic.h use naming convention with - instead of _ for tactics --- src/tactic/portfolio/solver_subsumption_tactic.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/tactic/portfolio/solver_subsumption_tactic.h b/src/tactic/portfolio/solver_subsumption_tactic.h index c088aa0b04b..73dfb562c43 100644 --- a/src/tactic/portfolio/solver_subsumption_tactic.h +++ b/src/tactic/portfolio/solver_subsumption_tactic.h @@ -19,7 +19,7 @@ class tactic; tactic * mk_solver_subsumption_tactic(ast_manager & m, params_ref const & p = params_ref()); /* - ADD_TACTIC("solver_subsumption", "remove assertions that are subsumed.", "mk_solver_subsumption_tactic(m, p)") + ADD_TACTIC("solver-subsumption", "remove assertions that are subsumed.", "mk_solver_subsumption_tactic(m, p)") */