fix spec for optional terminal semicolons (#445)

dfinity · Jun 30, 2023 · e73a8c9 · e73a8c9
1 parent c9c85d0
commit e73a8c9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/spec/Candid.md b/spec/Candid.md
@@ -63,9 +63,9 @@ The purpose of an IDL is defining the signature, and thereby the *type* of an ac
 
 This is a summary of the grammar proposed:
 ```
-<prog>  ::= <def>;* <actor>;?
+<prog>  ::= <def>;* <actor>?
 <def>   ::= type <id> = <datatype> | import <text>
-<actor> ::= service <id>? : (<tuptype> ->)? (<actortype> | <id>)
+<actor> ::= service <id>? : (<tuptype> ->)? (<actortype> | <id>) ;?
 
 <actortype> ::= { <methtype>;* }
 <methtype>  ::= <name> : (<functype> | <id>)