fmt

SoftwareFoundationGroupAtKyotoU · Feb 22, 2024 · abe5ce8 · abe5ce8
1 parent a0de7a6
commit abe5ce8
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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 =
           [