diff options
Diffstat (limited to 'language/l2.lem')
| -rw-r--r-- | language/l2.lem | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/language/l2.lem b/language/l2.lem index 64838e88..630c976d 100644 --- a/language/l2.lem +++ b/language/l2.lem @@ -155,7 +155,7 @@ type exp = (* Expression *) | E_app_infix of exp * id * exp (* infix function application *) | E_tuple of list exp (* tuple *) | E_if of exp * exp * exp (* conditional *) - | E_for of id * exp * exp * exp * exp (* loop *) + | E_for of id * exp * exp * exp * order * exp (* loop *) | E_vector of list exp (* vector (indexed from 0) *) | E_vector_indexed of list (natural * exp) (* vector (indexed consecutively) *) | E_vector_access of exp * exp (* vector access *) |