diff options
author | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-11 17:26:51 +0200 |
---|---|---|
committer | Alex Auvolat <alex.auvolat@ansys.com> | 2014-06-11 17:26:51 +0200 |
commit | aefe04b278d37c5f1248ef631eeb08dbbb4da653 (patch) | |
tree | 16a6096ce3dadce89a1f8b7e5a70e9d912a973c8 /libs | |
parent | 36f98d819756ada119e696729e40d8e8e427b5f0 (diff) | |
download | scade-analyzer-aefe04b278d37c5f1248ef631eeb08dbbb4da653.tar.gz scade-analyzer-aefe04b278d37c5f1248ef631eeb08dbbb4da653.zip |
Make code cleaner
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 "]@."; |