diff -r 988d7c7e2254 -r 7ff39293e265 src/HOL/Tools/SMT/smt_config.ML
--- a/src/HOL/Tools/SMT/smt_config.ML	Fri Feb 04 10:48:49 2022 +0100
+++ b/src/HOL/Tools/SMT/smt_config.ML	Mon Feb 07 15:26:22 2022 +0100
@@ -115,7 +115,7 @@
     |> Context.map_theory (Attrib.setup (Binding.name (name ^ "_options"))
         (Scan.lift (\<^keyword>\<open>=\<close> |-- Args.name) >>
           (Thm.declaration_attribute o K o set_solver_options o pair name))
-        ("additional command line options for SMT solver " ^ quote name))
+        ("additional command-line options for SMT solver " ^ quote name))
 
 fun all_solvers_of ctxt = Symtab.keys (solvers_of (Data.get (Context.Proof ctxt)))