PLT-7142: separator is sufficient

input-output-hk · Aug 21, 2023 · e8da50c · e8da50c
1 parent 248f76e
commit e8da50c
Showing 1 changed file with 0 additions and 2 deletions.
diff --git a/papers/language_specification/Marlowe.cf b/papers/language_specification/Marlowe.cf
@@ -11,7 +11,6 @@ _. Contract      ::= "(" Contract ")" ;
 Case. Case            ::= "Case" Action Contract ;
 MerkleizedCase. Case  ::= "MerkleizedCase" Action String ;
 separator Case "," ;
-terminator Case "" ;
 
 Deposit. Action ::= "Deposit" Party Party Token Value ;
 Choice. Action  ::= "Choice" ChoiceId "[" [Bound] "]" ;
@@ -62,7 +61,6 @@ Timeout. Timeout ::= Integer ;
 
 Bound. Bound ::= "Bound" Integer Integer ;
 separator Bound "," ;
-terminator Bound "" ;
 
 Token. Token ::= "Token" String String ;
 _. Token     ::= "(" Token ")" ;