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 f1e994f6..28803cb6 100644 --- a/language/l2_parse.ott +++ b/language/l2_parse.ott @@ -552,7 +552,7 @@ exp :: 'E_' ::= | ( exp ) :: S :: paren {{ ichlo [[exp]] }} -lexp :: 'LEXP_' ::= {{ com lvalue expression }} +lexp :: 'LEXP_' ::= {{ com lvalue expression, can't occur out of the parser }} {{ aux _ l }} % {{ aux _ annot }} {{ auxparam 'a }} | id :: :: id |
