From fe487e8eaae3186803ec657c517d0ebebab3bafd Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 8 May 2019 22:42:48 +0200
Subject: An even more uniform treatment of the -help option across
 executables.

Incidentally fix some missing newline in coqc help, and give proper
help for coqidetop and the "coq*worker"s.
---
 toplevel/workerLoop.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'toplevel/workerLoop.mli')

diff --git a/toplevel/workerLoop.mli b/toplevel/workerLoop.mli
index 685a10f6f3..8d6f0b1988 100644
--- a/toplevel/workerLoop.mli
+++ b/toplevel/workerLoop.mli
@@ -8,7 +8,7 @@
 (*         *     (see LICENSE file for the text of the license)         *)
 (************************************************************************)
 
-(* Register a STM worker *)
+(* Register a STM worker of a given executable name *)
 val start :
   init:(unit -> unit) ->
-  loop:(unit -> unit) -> unit
+  loop:(unit -> unit) -> string -> unit
-- 
cgit v1.2.3