From e55ba2f04578738ec72c4ca64daf23b9ea51ec06 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Thu, 9 May 2019 00:36:49 +0200
Subject: An attempt to reorganize further coqtop initialization into semantic
 units.

Incidentally moving parsing of "-batch" to the coqtop binary.
---
 stm/asyncTaskQueue.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'stm/asyncTaskQueue.ml')

diff --git a/stm/asyncTaskQueue.ml b/stm/asyncTaskQueue.ml
index 044ac29e92..dadf5f9f3e 100644
--- a/stm/asyncTaskQueue.ml
+++ b/stm/asyncTaskQueue.ml
@@ -125,7 +125,7 @@ module Make(T : Task) () = struct
                  "-async-proofs-worker-priority";
                  CoqworkmgrApi.(string_of_priority !async_proofs_worker_priority)]
         (* Options to discard: 0 arguments *)
-        | ("-emacs"|"-batch")::tl ->
+        | "-emacs"::tl ->
           set_slave_opt tl
         (* Options to discard: 1 argument *)
         | ( "-async-proofs" | "-vio2vo" | "-o"
-- 
cgit v1.2.3