From 2cf58e18f01fa379c5be3d3dddf41d8051fcc1cc Mon Sep 17 00:00:00 2001
From: Enrico Tassi
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.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'stm/workerLoop.ml')

diff --git a/stm/workerLoop.ml b/stm/workerLoop.ml
index 5445925b14..5130b019a9 100644
--- a/stm/workerLoop.ml
+++ b/stm/workerLoop.ml
@@ -17,9 +17,9 @@ let rec parse = function
   | x :: rest -> x :: parse rest
   | [] -> []
 
-let loop init _coq_args extra_args =
+let loop init coq_args extra_args =
   let args = parse extra_args in
   Flags.quiet := true;
   init ();
   CoqworkmgrApi.init !async_proofs_worker_priority;
-  args
+  coq_args, args
-- 
cgit v1.2.3