diff options
Diffstat (limited to 'toplevel/coqtop.ml')
-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" -> |