From 32ed349b992710da136a443c8e0778a6346aa9a7 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Sat, 18 Jun 2016 17:47:52 -0400
Subject: Fix indentation of configure printout

---
 configure.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.ml b/configure.ml
index aa26075b74..eb58e67d09 100644
--- a/configure.ml
+++ b/configure.ml
@@ -952,7 +952,7 @@ let print_summary () =
   pr "\n";
   pr "  Architecture                : %s\n" arch;
   if operating_system <> "" then
-    pr "  Operating system          : %s\n" operating_system;
+    pr "  Operating system            : %s\n" operating_system;
   pr "  Coq VM bytecode link flags  : %s\n" (String.concat " " vmbyteflags);
   pr "  Other bytecode link flags   : %s\n" custom_flag;
   pr "  OS dependent libraries      : %s\n" osdeplibs;
-- 
cgit v1.2.3