diff options
Diffstat (limited to 'toplevel/workerLoop.ml')
| -rw-r--r-- | toplevel/workerLoop.ml | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/toplevel/workerLoop.ml b/toplevel/workerLoop.ml index c2bd8213b0..0087e4833c 100644 --- a/toplevel/workerLoop.ml +++ b/toplevel/workerLoop.ml @@ -14,11 +14,12 @@ let rec parse = function | [] -> [] let worker_parse_extra ~opts extra_args = - Coqtop.Interactive, parse extra_args + (), parse extra_args -let worker_init init ~opts = +let worker_init init () ~opts = Flags.quiet := true; - init () + init (); + Coqtop.init_toploop opts let start ~init ~loop = let open Coqtop in @@ -27,6 +28,6 @@ let start ~init ~loop = help = (fun _ -> output_string stderr "Same options as coqtop"); opts = Coqargs.default; init = worker_init init; - run = (fun ~opts:_ ~state:_ -> loop ()); + run = (fun () ~opts:_ _state (* why is state not used *) -> loop ()); } in start_coq custom |