diff options
| author | Hugo Herbelin | 2019-05-09 00:36:49 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-07-08 02:31:26 +0200 |
| commit | e55ba2f04578738ec72c4ca64daf23b9ea51ec06 (patch) | |
| tree | 2d083b9eedc4ba5751c2e414d1dfc5d6f1230d9d /stm | |
| parent | dd15e030be5e55d3770d27fbbc2fe0f5384f0166 (diff) | |
An attempt to reorganize further coqtop initialization into semantic units.
Incidentally moving parsing of "-batch" to the coqtop binary.
Diffstat (limited to 'stm')
| -rw-r--r-- | stm/asyncTaskQueue.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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" |