diff options
| author | Graydon Hoare <[email protected]> | 2010-07-06 17:06:46 -0700 |
|---|---|---|
| committer | Graydon Hoare <[email protected]> | 2010-07-06 17:06:46 -0700 |
| commit | 6302e1805630bb28ecfae8b2c7692185e0667793 (patch) | |
| tree | d2ebe45af6f178ae26a9a5d582b66d5070656ff9 /src/boot | |
| parent | Add init(arg) to STMT_call precondition for each arg. (diff) | |
| download | rust-6302e1805630bb28ecfae8b2c7692185e0667793.tar.xz rust-6302e1805630bb28ecfae8b2c7692185e0667793.zip | |
Wrap long line.
Diffstat (limited to 'src/boot')
| -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 |