From 2cf58e18f01fa379c5be3d3dddf41d8051fcc1cc Mon Sep 17 00:00:00 2001
From: Enrico Tassi <Enrico.Tassi@inria.fr>
Date: Tue, 17 Apr 2018 10:12:17 +0200
Subject: [toplevel] let toploop_init change Coq options

Toplevels may want to modify for example the Stm flags,
which after #1108 are handled in a functional way.
---
 stm/workerLoop.mli | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'stm/workerLoop.mli')

diff --git a/stm/workerLoop.mli b/stm/workerLoop.mli
index f02edb9bb..37ec6dacc 100644
--- a/stm/workerLoop.mli
+++ b/stm/workerLoop.mli
@@ -11,4 +11,6 @@
 (* Default priority *)
 val async_proofs_worker_priority : CoqworkmgrApi.priority ref
 
-val loop : (unit -> unit) -> Coqargs.coq_cmdopts -> string list -> string list
+val loop :
+  (unit -> unit) -> Coqargs.coq_cmdopts -> string list ->
+    Coqargs.coq_cmdopts * string list
-- 
cgit v1.2.3