From 3abbc93733b7f820a436beedcd0b9292378e1840 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Mon, 30 Jun 2014 23:25:19 +0200
Subject: option to always delegate futures to workers

---
 lib/flags.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib/flags.ml')

diff --git a/lib/flags.ml b/lib/flags.ml
index 7fed951008..36bb447ae9 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -52,6 +52,7 @@ type async_proofs = APoff | APonLazy | APonParallel of int
 let async_proofs_mode = ref APoff
 let async_proofs_n_workers = ref 1
 let async_proofs_worker_flags = ref None
+let async_proofs_always_delegate = ref false
 
 let async_proofs_is_worker () =
   match !async_proofs_mode with
-- 
cgit v1.2.3