diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2018-02-19 11:11:50 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2018-02-19 11:11:50 +0100 |
commit | 073b92396a68be30f77c80960a58ca562bb01f49 (patch) | |
tree | d2ad366f28624196ebfe9c1eadf595dcb490fcdc /ide/coq.ml | |
parent | c047ecce6e4dba33df69a53a9e168999676c65db (diff) | |
parent | ed18f926e4695acc730218925ca156abe56ba5fc (diff) |
Merge PR #6753: [toplevel] Make toplevel state into a record.
Diffstat (limited to 'ide/coq.ml')
-rw-r--r-- | ide/coq.ml | 4 |
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 |