Inconsistency Between the EBNF for an Interface Procedure Specification in the main LRM Text versus Annex C

Reported by Mark Christiaens (Sigasi) via IEEE reflector

I noticed an inconsistency between the EBNF for an interface procedure specification in the main LRM text versus Annex C.

The main LRM states:

interface_procedure_specification ::= procedure designator [ [ parameter ] ( formal_parameter_list ) ]

The Annex C states:

interface_procedure_specification ::= procedure identifier [ [ parameter ] ( formal_parameter_list ) ]

I think the version in de Annex C is the correct one.

Kind regards,

Mark

-- Mark Christiaens, Head of Engineering

To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information