Style guides might disagree whether "i.e." should be followed by a
comma, but certainly it should not be followed by a comma and a colon.
Also, this colon was inconsistent with how the same phrase is punctuated
when describing Enum_Val.
Tested on x86_64-pc-linux-gnu, committed on trunk
2020-06-05 Piotr Trojanek <troja...@adacore.com>
gcc/ada/
* doc/gnat_rm/implementation_defined_attributes.rst (Enum_Rep):
Remove extra colon.
* gnat_rm.texi: Regenerate.--- gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
+++ gcc/ada/doc/gnat_rm/implementation_defined_attributes.rst
@@ -353,7 +353,7 @@ enumeration literal or object.
The function returns the representation value for the given enumeration
value. This will be equal to value of the ``Pos`` attribute in the
absence of an enumeration representation clause. This is a static
-attribute (i.e.,:the result is static if the argument is static).
+attribute (i.e., the result is static if the argument is static).
``S'Enum_Rep`` can also be used with integer types and objects,
in which case it simply returns the integer value. The reason for this
--- gcc/ada/gnat_rm.texi
+++ gcc/ada/gnat_rm.texi
@@ -21,7 +21,7 @@
@copying
@quotation
-GNAT Reference Manual , May 04, 2020
+GNAT Reference Manual , May 05, 2020
AdaCore
@@ -10469,7 +10469,7 @@ enumeration literal or object.
The function returns the representation value for the given enumeration
value. This will be equal to value of the @code{Pos} attribute in the
absence of an enumeration representation clause. This is a static
-attribute (i.e.,:the result is static if the argument is static).
+attribute (i.e., the result is static if the argument is static).
@code{S'Enum_Rep} can also be used with integer types and objects,
in which case it simply returns the integer value. The reason for this
