From 4e724634839726aa11534f16e4bfb95cd81232a4 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 23 Jul 2014 11:54:36 +0200
Subject: STM: code restructured to reuse task queue for tactics

---
 lib/flags.mli | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'lib/flags.mli')

diff --git a/lib/flags.mli b/lib/flags.mli
index 7f2b749b76..db1d8bcc46 100644
--- a/lib/flags.mli
+++ b/lib/flags.mli
@@ -15,14 +15,16 @@ val batch_mode : bool ref
 type compilation_mode = BuildVo | BuildVi | Vi2Vo
 val compilation_mode : compilation_mode ref
 
-type async_proofs = APoff | APonLazy | APonParallel of int
+type async_proofs = APoff | APonLazy | APon
 val async_proofs_mode : async_proofs ref
 val async_proofs_n_workers : int ref
 val async_proofs_private_flags : string option ref
 val async_proofs_is_worker : unit -> bool
+val async_proofs_is_master : unit -> bool
 val async_proofs_always_delegate : bool ref
 val async_proofs_never_reopen_branch : bool ref
 val async_proofs_flags_for_workers : string list ref
+val async_proofs_worker_id : string ref
 
 val debug : bool ref
 
-- 
cgit v1.2.3