Update solver_subsumption_tactic.h

use naming convention with - instead of _ for tactics
Z3Prover · Sep 1, 2021 · 8bdc8d0 · 8bdc8d0
1 parent a3ba4e1
commit 8bdc8d0
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)")
 */