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.
---
 lib/control.mli | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'lib/control.mli')

diff --git a/lib/control.mli b/lib/control.mli
index f6c63ffb34..261b076931 100644
--- a/lib/control.mli
+++ b/lib/control.mli
@@ -8,6 +8,9 @@
 
 (** Global control of Coq. *)
 
+(** Will periodically call [Thread.delay] if set to true *)
+val enable_thread_delay : bool ref
+
 val interrupt : bool ref
 (** Coq interruption: set the following boolean reference to interrupt Coq
     (it eventually raises [Break], simulating a Ctrl-C) *)
-- 
cgit v1.2.3