From aefe04b278d37c5f1248ef631eeb08dbbb4da653 Mon Sep 17 00:00:00 2001
From: Alex Auvolat <alex.auvolat@ansys.com>
Date: Wed, 11 Jun 2014 17:26:51 +0200
Subject: Make code cleaner

---
 libs/util.ml | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

(limited to 'libs')

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 "]@.";
-- 
cgit v1.2.3