diff options
Diffstat (limited to 'libs')
| -rw-r--r-- | libs/util.ml | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/libs/util.ml b/libs/util.ml index 30cf5bf..2150abc 100644 --- a/libs/util.ml +++ b/libs/util.ml @@ -11,10 +11,10 @@ let rec fix equal f s = let (@@) f x = f x let print_list x l = - Format.printf "%s: " x; - let rec aux = function - | [] -> () - | [a] -> Format.printf "%s" a - | p::q -> Format.printf "%s, " p; aux q - in - Format.printf "["; aux l; Format.printf "]@."; + Format.printf "%s: " x; + let rec aux = function + | [] -> () + | [a] -> Format.printf "%s" a + | p::q -> Format.printf "%s, " p; aux q + in + Format.printf "["; aux l; Format.printf "]@."; |