--- a/src/HOL/Library/Old_SMT/old_smt_config.ML Sat May 30 19:28:51 2015 +0200
+++ b/src/HOL/Library/Old_SMT/old_smt_config.ML Sat May 30 19:29:21 2015 +0200
@@ -86,7 +86,7 @@
|> Context.map_theory (Attrib.setup (Binding.name ("old_" ^ name ^ "_options"))
(Scan.lift (@{keyword "="} |-- 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 (fst (Solvers.get (Context.Proof ctxt)))