From f7d45c6dba49ae46151c9874cf1eb6278df7a24e Mon Sep 17 00:00:00 2001
From: Gaëtan Gilbert
Date: Sat, 29 Aug 2020 14:01:55 +0200
Subject: Fix configure check for zarith

Fix #12938
---
 configure.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/configure.ml b/configure.ml
index 2d6018491e..2dbc01651e 100644
--- a/configure.ml
+++ b/configure.ml
@@ -691,16 +691,16 @@ let operating_system =
 (** Zarith and num libraries *)
 
 let check_for_numlib () =
-  if caml_version_nums >= [4;6;0] then
+  (if caml_version_nums >= [4;6;0] then
     let numlib,_ = tryrun camlexec.find ["query";"num"] in
     match numlib with
     | ""  ->
       die "Num library not installed, required for OCaml 4.06 or later"
-    | _   -> cprintf "You have the Num library installed. Good!";
+    | _   -> cprintf "You have the Num library installed. Good!");
   let zarith,_ = tryrun camlexec.find ["query";"zarith"] in
   match zarith with
   | ""  ->
-     die "Zarith library not installed, required"
+    die "Zarith library not installed, required"
   | _   -> cprintf "You have the Zarith library installed. Good!"
 
 let numlib =
-- 
cgit v1.2.3