diff options
Diffstat (limited to 'stm/stmworkertop.ml')
| -rw-r--r-- | stm/stmworkertop.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/stm/stmworkertop.ml b/stm/stmworkertop.ml index 50afd97ab..0d1b44e49 100644 --- a/stm/stmworkertop.ml +++ b/stm/stmworkertop.ml @@ -9,6 +9,7 @@ let () = Coqtop.toploop_init := (fun args -> Flags.make_silent true; Stm.slave_init_stdout (); + CoqworkmgrApi.init !Flags.async_proofs_worker_priority; args) let () = Coqtop.toploop_run := Stm.slave_main_loop |