No, sorry, that's a perfectly legitimate procedure declaration.
If a procedure has no parameters, the parentheses aren't used.
In the BNF, note that the `parameter_profile' is optional (surrounded by []).
You may also:
Skip to the next section.
Go up to the outline of lesson 4
David A. Wheeler (wheeler@ida.org)