From 2008e95eb33ccfdd191afc0d3f692772c077b7a4 Mon Sep 17 00:00:00 2001
From: Jason Gross
Date: Sat, 17 Sep 2016 13:05:11 -0700
Subject: Fix indentation of -profile-ltac in -help

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

diff --git a/toplevel/usage.ml b/toplevel/usage.ml
index 8f77aea440..de41f7b190 100644
--- a/toplevel/usage.ml
+++ b/toplevel/usage.ml
@@ -82,7 +82,7 @@ let print_usage_channel co command =
 \n                         the directory $COQ_XML_LIBRARY_ROOT (if set) or to\
 \n                         stdout (if unset)\
 \n  -time                  display the time taken by each command\
-\n  -profile-ltac           display the time taken by each (sub)tactic\
+\n  -profile-ltac          display the time taken by each (sub)tactic\
 \n  -m, --memory           display total heap size at program exit\
 \n                         (use environment variable\
 \n                          OCAML_GC_STATS=\"/tmp/gclog.txt\"\
-- 
cgit v1.2.3