diff --git a/compiler/minils/transformations/normalize.ml b/compiler/minils/transformations/normalize.ml
index e95ed15..d06e366 100644
--- a/compiler/minils/transformations/normalize.ml
+++ b/compiler/minils/transformations/normalize.ml
@@ -145,9 +145,9 @@ let add context expected_kind ({ e_desc = de } as e) =
     | _ , VRef -> true
     | Eapp ({ a_op = Efun n }, _, _),
         (Exp|Act) when is_op n -> false
-    | ( Emerge _ | Eapp _ | Eiterator | Efby _ ), Exp -> true
+    | ( Emerge _ | Eapp _ | Eiterator _ | Efby _ ), Exp -> true
     | ( Eapp({ a_op = Efun _ | Enode _ }, _, _)
-      | Eiterator | Efby _ ), Act -> true
+      | Eiterator _ | Efby _ ), Act -> true
     | _ -> false in
   if up then
     let context, n = equation context e in