diff options
author | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-06-10 04:27:21 +0200 |
---|---|---|
committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2017-12-11 12:43:25 +0100 |
commit | 50159f9c1748ccf1d66341d171081a998d116d2f (patch) | |
tree | ef58c58b10abcb45142b56d261bc15f034b2731e /stm/workerLoop.mli | |
parent | a758aac39aa330911f5f589ab3cae1bebed1e9ce (diff) |
[flags] [stm] Reorganize flags.
We move the main async flags to the STM in preparation for
more state encapsulation.
There is still more work to do, in particular we should make some of
the defaults a parameter instead of a flag.
Diffstat (limited to 'stm/workerLoop.mli')
-rw-r--r-- | stm/workerLoop.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/stm/workerLoop.mli b/stm/workerLoop.mli index 53f745935..da2e6fe0c 100644 --- a/stm/workerLoop.mli +++ b/stm/workerLoop.mli @@ -6,4 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) +(* Default priority *) +val async_proofs_worker_priority : CoqworkmgrApi.priority ref + val loop : (unit -> unit) -> string list -> string list |