From c046c30e11d1658d5580c157ebb0d3e6d70fb4e4 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 19 May 2016 07:54:36 +0200
Subject: fix blanks in usage message

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

diff --git a/toplevel/usage.ml b/toplevel/usage.ml
index aa27b952f4..9026b8f8f5 100644
--- a/toplevel/usage.ml
+++ b/toplevel/usage.ml
@@ -45,7 +45,7 @@ let print_usage_channel co command =
 \n  -require path          load Coq library path and import it (Require Import path.)\
 \n  -compile f.v           compile Coq file f.v (implies -batch)\
 \n  -compile-verbose f.v   verbosely compile Coq file f.v (implies -batch)\
-\n  -o f.vo                use f.vo as the output file name\            
+\n  -o f.vo                use f.vo as the output file name\
 \n  -quick                 quickly compile .v files to .vio files (skip proofs)\
 \n  -schedule-vio2vo j f1..fn   run up to j instances of Coq to turn each fi.vio\
 \n                         into fi.vo\
-- 
cgit v1.2.3