diff options
| author | Hugo Herbelin | 2019-05-11 01:45:42 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2019-05-14 11:17:44 +0200 |
| commit | 9a49153b2104e8d7ca0d7789b47299295272746c (patch) | |
| tree | ba435955a42b3828661cde608657afdcf72fa16f /stm/asyncTaskQueue.ml | |
| parent | 879cacd0a7066a77f10f48f7e7c27e4380f43c9d (diff) | |
Removing no more existing option -emacs-U.
Diffstat (limited to 'stm/asyncTaskQueue.ml')
| -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 2493b1fac4..8b455821af 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"|"-emacs-U"|"-batch")::tl -> + | ("-emacs"|"-batch")::tl -> set_slave_opt tl (* Options to discard: 1 argument *) | ( "-async-proofs" | "-vio2vo" | "-o" |