From 6302e1805630bb28ecfae8b2c7692185e0667793 Mon Sep 17 00:00:00 2001 From: Graydon Hoare Date: Tue, 6 Jul 2010 17:06:46 -0700 Subject: Wrap long line. --- src/boot/me/typestate.ml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'src') 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 -- cgit v1.2.3