--- a/src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML Sun Aug 14 12:26:09 2016 +0200
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_prover.ML Sun Aug 14 12:26:09 2016 +0200
@@ -194,7 +194,7 @@
sort_strings (supported_atps thy) @ sort_strings (SMT_Config.available_solvers_of ctxt)
|> List.partition (String.isPrefix remote_prefix)
in
- writeln ("Supported provers: " ^ commas (local_provers @ remote_provers) ^ ".")
+ writeln ("Supported provers: " ^ commas (local_provers @ remote_provers))
end
end;