From 00d05ff204108622d1f944d748103a98c0d6d088 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Tue, 14 May 2019 11:20:34 +0200
Subject: Adding missing newline in coqc usage.

---
 toplevel/usage.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/toplevel/usage.ml b/toplevel/usage.ml
index 3d15cb0274..04b23f587f 100644
--- a/toplevel/usage.ml
+++ b/toplevel/usage.ml
@@ -107,7 +107,7 @@ coqtop specific options:\
   exit 1
 
 let print_usage_coqc () =
-  print_usage_common stderr "Usage: coqc <options> <Coq options> file...";
+  print_usage_common stderr "Usage: coqc <options> <Coq options> file...\n\n";
   output_string stderr "\n\
 coqc specific options:\
 \n\
-- 
cgit v1.2.3