diff --git a/src/boot/me/typestate.ml b/src/boot/me/typestate.ml
index 505860046d6..093fef3e529 100644
--- a/src/boot/me/typestate.ml
+++ b/src/boot/me/typestate.ml
@@ -365,7 +365,9 @@ let condition_assigning_visitor
               let constrs =
                 Array.map (apply_names_to_constr names) formal_constrs
               in
-              let constr_keys = Array.map (resolve_constr_to_key None) constrs in
+              let constr_keys =
+                Array.map (resolve_constr_to_key None) constrs
+              in
               let arg_init_keys =
                 Array.concat
                   (Array.to_list