diff --git a/lib/gen_mlw.ml b/lib/gen_mlw.ml
index c48d5d6..ce90388 100644
--- a/lib/gen_mlw.ml
+++ b/lib/gen_mlw.ml
@@ -330,7 +330,8 @@ module Generator (D : Desc) = struct
               call_ctx_wf @@ E.var_of_binder ctx;
               call_step_wf @@ E.var_of_binder st;
               call_param_wf_of contract @@ E.var_of_binder gparam;
-              call_pre_of contract (E.var_of_binder st) (E.var_of_binder gparam) (E.var_of_binder ctx);
+              call_pre_of contract (E.var_of_binder st) (E.var_of_binder gparam)
+                (E.var_of_binder ctx);
             ];
         sp_post =
           [