diff options
Diffstat (limited to 'language/l2_parse.ml')
| -rw-r--r-- | language/l2_parse.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/l2_parse.ml b/language/l2_parse.ml index cf1da35a..8393207c 100644 --- a/language/l2_parse.ml +++ b/language/l2_parse.ml @@ -449,7 +449,7 @@ def = (* Top-level definition *) type -lexp_aux = (* lvalue expression *) +lexp_aux = (* lvalue expression, can't occur out of the parser *) LEXP_id of id (* identifier *) | LEXP_mem of id * (exp) list | LEXP_vector of lexp * exp (* vector element *) |