From 38b670ebc0fa896a06dae3bb755e8efaa808100a 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 ed177afa..c943952e 100644
--- a/src/main/main.ml
+++ b/src/main/main.ml
@@ -197,10 +197,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 *)