aboutsummaryrefslogtreecommitdiffhomepage
path: root/ide/coq.ml
diff options
context:
space:
mode:
authorGravatar Maxime Dénès <mail@maximedenes.fr>2018-02-19 11:11:50 +0100
committerGravatar Maxime Dénès <mail@maximedenes.fr>2018-02-19 11:11:50 +0100
commit073b92396a68be30f77c80960a58ca562bb01f49 (patch)
treed2ad366f28624196ebfe9c1eadf595dcb490fcdc /ide/coq.ml
parentc047ecce6e4dba33df69a53a9e168999676c65db (diff)
parented18f926e4695acc730218925ca156abe56ba5fc (diff)
Merge PR #6753: [toplevel] Make toplevel state into a record.
Diffstat (limited to 'ide/coq.ml')
-rw-r--r--ide/coq.ml4
1 files changed, 3 insertions, 1 deletions
diff --git a/ide/coq.ml b/ide/coq.ml
index 42ab86dd6..34b4875af 100644
--- a/ide/coq.ml
+++ b/ide/coq.ml
@@ -9,6 +9,8 @@
open Ideutils
open Preferences
+let ideslave_coqtop_flags = ref None
+
(** * Version and date *)
let get_version_date () =
@@ -375,7 +377,7 @@ let spawn_handle args respawner feedback_processor =
in
let args = Array.of_list ("--xml_format=Ppcmds" :: "-async-proofs" :: async_default :: "-ideslave" :: args) in
let env =
- match !Flags.ideslave_coqtop_flags with
+ match !ideslave_coqtop_flags with
| None -> None
| Some s ->
let open Str in