From 29592216820248bfc78b137595fdd5e31d28f5b6 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 26 Sep 2018 22:16:14 +0200
Subject: Indentation in configure.ml.

---
 configure.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/configure.ml b/configure.ml
index cef4faaf1a..d7370b28c1 100644
--- a/configure.ml
+++ b/configure.ml
@@ -1200,8 +1200,8 @@ let write_macos_metadata exec =
   let () = close_out o in
   Unix.chmod f 0o444
 
-let () = if arch = "Darwin" then
-List.iter write_macos_metadata distributed_exec
+let () =
+  if arch = "Darwin" then List.iter write_macos_metadata distributed_exec
 
 let write_configpy f =
   safe_remove f;
-- 
cgit v1.2.3