diff --git a/src/tactic/portfolio/solver_subsumption_tactic.h b/src/tactic/portfolio/solver_subsumption_tactic.h
index c088aa0b0..73dfb562c 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)")
 */