diff options
| author |  Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-11-03 18:36:10 +0100 |
|---|---|---|
| committer | Enrico Tassi <Enrico.Tassi@inria.fr> | 2014-11-03 18:36:16 +0100 |
| commit | c3b35b153f5f0023934e8d09007a68fd4a2a6b55 (patch) | |
| tree | ec0248109be75287dc764dfce787531b36525b80 /stm/proofworkertop.ml | |
| parent | c4f270f573360e39bd91e3ffff8d37775b2871d7 (diff) | |
STM: code refactoring
This is mainly shuffling code around and removing internal
refs that are not needed anymore.
Diffstat (limited to 'stm/proofworkertop.ml')
| -rw-r--r-- | stm/proofworkertop.ml | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/stm/proofworkertop.ml b/stm/proofworkertop.ml index 0d1b44e49..c19f8bdd2 100644 --- a/stm/proofworkertop.ml +++ b/stm/proofworkertop.ml @@ -6,11 +6,13 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) +module W = AsyncTaskQueue.MakeWorker(Stm.ProofTask) + let () = Coqtop.toploop_init := (fun args -> Flags.make_silent true; - Stm.slave_init_stdout (); + W.init_stdout (); CoqworkmgrApi.init !Flags.async_proofs_worker_priority; args) -let () = Coqtop.toploop_run := Stm.slave_main_loop +let () = Coqtop.toploop_run := W.main_loop |