diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-11-27 11:07:45 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-11-27 16:06:54 +0100 |
| commit | df8779378c3ea30f90b11204828c3a33513b9e3d (patch) | |
| tree | 525a8406e70e13ea9e63489f2692d1e736ac200a /toplevel | |
| parent | 72f471f42d7825b9ef370fb5a64acbd155d9140e (diff) | |
async_queries_* merged with async_proofs_*
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/coqtop.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/toplevel/coqtop.ml b/toplevel/coqtop.ml index 255544d47..5bf8cfb3b 100644 --- a/toplevel/coqtop.ml +++ b/toplevel/coqtop.ml @@ -465,8 +465,7 @@ let parse_args arglist = |"-toploop" -> toploop := Some (next ()) (* Options with zero arg *) - |"-async-queries-always-delegate" -> - Flags.async_queries_always_delegate := true; + |"-async-queries-always-delegate" |"-async-proofs-always-delegate" -> Flags.async_proofs_always_delegate := true; |"-async-proofs-never-reopen-branch" -> |