Adding explicit order to for loops

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 *)