From 585bf6bd500646357380411c47b0da13e9519f5c Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 29 Dec 2017 18:35:27 +0100
Subject: [PATCH] detail

---
 src/main/main.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/main/main.ml b/src/main/main.ml
index 8197e30b..008592f2 100644
--- a/src/main/main.ml
+++ b/src/main/main.ml
@@ -198,10 +198,10 @@ let check () =
 let main () =
   (* Administrative duties *)
   Arg.parse argspec input_file usage;
-  if !file = "" then begin
+  if !file = "" then (
     Arg.usage argspec usage;
     exit 2
-  end;
+  );
   let al = Gc.create_alarm check in
 
   (* Interesting stuff happening *)