diff -r e926618f9474 -r 8ce2469920bf src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML
--- a/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Tue Feb 01 11:51:41 2022 +0100
+++ b/src/HOL/Tools/Sledgehammer/sledgehammer_isar.ML	Tue Feb 01 11:52:40 2022 +0100
@@ -480,7 +480,7 @@
                      end)
                  else
                    one_line_params) ^
-              (if isar_proofs = SOME true then "\n(No Isar proof available.)" else "")
+              (if isar_proofs = SOME true then "\n(No Isar proof available)" else "")
             | (_, num_steps) =>
               let
                 val msg =