--- 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)))