diff --git a/compiler/heptagon/transformations/normalize.ml b/compiler/heptagon/transformations/normalize.ml
index 35f81be..f182a83 100644
--- a/compiler/heptagon/transformations/normalize.ml
+++ b/compiler/heptagon/transformations/normalize.ml
@@ -137,8 +137,8 @@ type kind = ExtValue | Any
 (** Creates an equation and add it to the context if necessary. *)
 let add context expected_kind e =
   let up = match e.e_desc, expected_kind with
-     (* static arrays should be normalized to simplify code generation *)
-    | Econst { se_desc = Sarray _ | Sarray_power _ }, ExtValue -> true
+     (* static arrays and records should be normalized to simplify code generation *)
+    | Econst { se_desc = Sarray _ | Sarray_power _ | Srecord _ }, ExtValue -> true
     | (Evar _ | Eapp ({ a_op = Efield | Etuple | Ereinit }, _, _) | Ewhen _
           | Econst _) , ExtValue -> false
     | _ , ExtValue -> true