diff --git a/src/attributes.rst b/src/attributes.rst index 7d3fcb24..67108f3b 100644 --- a/src/attributes.rst +++ b/src/attributes.rst @@ -1499,10 +1499,14 @@ Attribute ``repr`` .. syntax:: ReprContent ::= - $$repr$$ $$($$ Representation $$)$$ + $$repr$$ $$($$ RepresentationList $$)$$ + + RepresentationList ::= + Representation ($$,$$ Representation)* $$,$$? Representation ::= - RepresentationKind Alignment? + RepresentationKind + | Alignment RepresentationKind ::= PrimitiveRepresentation