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.
---
 topbin/coqproofworker_bin.ml  | 2 +-
 topbin/coqqueryworker_bin.ml  | 2 +-
 topbin/coqtacticworker_bin.ml | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

(limited to 'topbin')

diff --git a/topbin/coqproofworker_bin.ml b/topbin/coqproofworker_bin.ml
index baf76582ac..2715406b13 100644
--- a/topbin/coqproofworker_bin.ml
+++ b/topbin/coqproofworker_bin.ml
@@ -11,4 +11,4 @@
 module W = AsyncTaskQueue.MakeWorker(Stm.ProofTask) ()
 
 let () =
-  WorkerLoop.start ~init:W.init_stdout ~loop:W.main_loop
+  WorkerLoop.start ~init:W.init_stdout ~loop:W.main_loop "coqproofworker"
diff --git a/topbin/coqqueryworker_bin.ml b/topbin/coqqueryworker_bin.ml
index 0f7005e422..225158e064 100644
--- a/topbin/coqqueryworker_bin.ml
+++ b/topbin/coqqueryworker_bin.ml
@@ -10,4 +10,4 @@
 
 module W = AsyncTaskQueue.MakeWorker(Stm.QueryTask) ()
 
-let () = WorkerLoop.start ~init:W.init_stdout ~loop:W.main_loop
+let () = WorkerLoop.start ~init:W.init_stdout ~loop:W.main_loop "coqqueryworker"
diff --git a/topbin/coqtacticworker_bin.ml b/topbin/coqtacticworker_bin.ml
index 19a8cde88a..962028e0e7 100644
--- a/topbin/coqtacticworker_bin.ml
+++ b/topbin/coqtacticworker_bin.ml
@@ -10,4 +10,4 @@
 
 module W = AsyncTaskQueue.MakeWorker(Stm.TacTask) ()
 
-let () = WorkerLoop.start ~init:W.init_stdout ~loop:W.main_loop
+let () = WorkerLoop.start ~init:W.init_stdout ~loop:W.main_loop "coqtacticworker"
-- 
cgit v1.2.3