diff --git a/compiler/minils/sequential/c.ml b/compiler/minils/sequential/c.ml
index 5b0a421..0468edc 100644
--- a/compiler/minils/sequential/c.ml
+++ b/compiler/minils/sequential/c.ml
@@ -217,7 +217,7 @@ and pp_cexpr fmt ce = match ce with
   | Cstructlit (s, el) ->
       fprintf fmt "(%s){@[%a@]}" s (pp_list1 pp_cexpr ",") el
   | Carraylit el ->
-      fprintf fmt "((int *){@[%a@]})" (pp_list1 pp_cexpr ",") el (* WRONG *)
+      fprintf fmt "((int []){@[%a@]})" (pp_list1 pp_cexpr ",") el (* WRONG *)
 and pp_clhs fmt lhs = match lhs with
   | Cvar s -> fprintf fmt "%s" s
   | Cderef lhs' -> fprintf fmt "*%a" pp_clhs lhs'