From 58270be4668ab87e5f2d0d06c820bd457ae1aa01 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Fri, 11 Jul 2014 10:34:55 +0200
Subject: STM: flag to turn off branch reopening

This is useful if a UI does not support that
---
 lib/flags.ml  | 1 +
 lib/flags.mli | 1 +
 2 files changed, 2 insertions(+)

(limited to 'lib')

diff --git a/lib/flags.ml b/lib/flags.ml
index 9dd65db6dc..5d94270f47 100644
--- a/lib/flags.ml
+++ b/lib/flags.ml
@@ -53,6 +53,7 @@ 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_never_reopen_branch = ref false
 
 let async_proofs_is_worker () =
   match !async_proofs_mode with
diff --git a/lib/flags.mli b/lib/flags.mli
index a0ff0f55ea..53284c6992 100644
--- a/lib/flags.mli
+++ b/lib/flags.mli
@@ -22,6 +22,7 @@ val async_proofs_worker_flags : string option ref
 
 val async_proofs_is_worker : unit -> bool
 val async_proofs_always_delegate : bool ref
+val async_proofs_never_reopen_branch : bool ref
 
 val debug : bool ref
 
-- 
cgit v1.2.3