Correct comment text.

Author: tjj2017

gnat2goto/gnat_src/errout.adb

@@ -3219,10 +3219,10 @@ package body Errout is
          --  compilation. Even when the configurations match, this message
          --  may be issued on correct code, because pragma Pack is ignored
          --  in CodePeer mode.
-         --  TJJ 5-may-2020 ASVAT: It seems that SPARK and gnat2goto
+         --  TJJ 05-May-2020 ASVAT: It seems that SPARK and gnat2goto
          --  also generate this message and abort compilation even if
-         --  a composite type is not packed even if the configuration
-         --  pragma Implicit_Packing (or Profile (Rational)) is applied.
+         --  the configuration pragma Implicit_Packing
+         --  (or Profile (Rational)) is applied.
          --  So, Gnatprove_Mode added to the test below.
 
          if CodePeer_Mode or GNATprove_Mode then