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.
---
 ide/ide_slave.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide')

diff --git a/ide/ide_slave.ml b/ide/ide_slave.ml
index 2e552b60b..c66d69c03 100644
--- a/ide/ide_slave.ml
+++ b/ide/ide_slave.ml
@@ -511,7 +511,7 @@ let () = Coqtop.toploop_init := (fun coq_args extra_args ->
         let args = parse extra_args in
         Flags.quiet := true;
         CoqworkmgrApi.(init High);
-        args)
+        coq_args, args)
 
 let () = Coqtop.toploop_run := loop
 
-- 
cgit v1.2.3