diff options
Diffstat (limited to 'toplevel/workerLoop.ml')
| -rw-r--r-- | toplevel/workerLoop.ml | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/toplevel/workerLoop.ml b/toplevel/workerLoop.ml index b0d7bb6f78..e72940d189 100644 --- a/toplevel/workerLoop.ml +++ b/toplevel/workerLoop.ml @@ -8,11 +8,11 @@ (* * (see LICENSE file for the text of the license) *) (************************************************************************) -let worker_parse_extra ~opts extra_args = +let worker_parse_extra extra_args = let stm_opts, extra_args = Stmargs.parse_args ~init:Stm.AsyncOpts.default_opts extra_args in ((),stm_opts), extra_args -let worker_init init ((),_) ~opts = +let worker_init init ((),_) _injections ~opts = Flags.quiet := true; init (); Coqtop.init_toploop opts @@ -28,9 +28,9 @@ let start ~init ~loop name = let open Coqtop in let custom = { parse_extra = worker_parse_extra; - help = worker_specific_usage name; - opts = Coqargs.default; - init = worker_init init; + usage = worker_specific_usage name; + initial_args = Coqargs.default; + init_extra = worker_init init; run = (fun ((),_) ~opts:_ _state (* why is state not used *) -> loop ()); } in start_coq custom |