From 50159f9c1748ccf1d66341d171081a998d116d2f Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Sat, 10 Jun 2017 04:27:21 +0200
Subject: [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.
---
 stm/workerLoop.ml | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'stm/workerLoop.ml')

diff --git a/stm/workerLoop.ml b/stm/workerLoop.ml
index 64121eb3d5..7041191869 100644
--- a/stm/workerLoop.ml
+++ b/stm/workerLoop.ml
@@ -6,6 +6,10 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
+(* Default priority *)
+open CoqworkmgrApi
+let async_proofs_worker_priority = ref Low
+
 let rec parse = function
   | "--xml_format=Ppcmds" :: rest -> parse rest
   | x :: rest -> x :: parse rest
@@ -15,5 +19,5 @@ let loop init args =
   let args = parse args in
   Flags.quiet := true;
   init ();
-  CoqworkmgrApi.init !Flags.async_proofs_worker_priority;
+  CoqworkmgrApi.init !async_proofs_worker_priority;
   args
-- 
cgit v1.2.3