diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/boot/me/typestate.ml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/boot/me/typestate.ml b/src/boot/me/typestate.ml index 50586004..093fef3e 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 |