diff options
Diffstat (limited to 'language/l2_parse.ott')
| -rw-r--r-- | language/l2_parse.ott | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/l2_parse.ott b/language/l2_parse.ott index 90fa544e..4e965d7c 100644 --- a/language/l2_parse.ott +++ b/language/l2_parse.ott @@ -657,7 +657,7 @@ exp :: 'E_' ::= | { fexps } :: :: record {{ com struct }} - | { exp with fexps } :: :: record_update + | { exp with exp1 ; .. ; expn } :: :: record_update {{ com functional update of struct }} | exp . id :: :: field {{ com field projection from struct }} |