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 a6ada0ec..8615faa6 100644 --- a/language/l2_parse.ml +++ b/language/l2_parse.ml @@ -205,7 +205,7 @@ exp_aux = (* Expression *) | E_app_infix of exp * id * exp (* infix function application *) | E_tuple of (exp) list (* tuple *) | E_if of exp * exp * exp (* conditional *) - | E_for of id * exp * exp * exp * exp (* loop *) + | E_for of id * exp * exp * exp * atyp * exp (* loop *) | E_vector of (exp) list (* vector (indexed from 0) *) | E_vector_indexed of ((int * exp)) list (* vector (indexed consecutively) *) | E_vector_access of exp * exp (* vector access *) |