diff options
| author | Enrico Tassi | 2019-02-21 15:17:48 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2019-02-27 09:49:35 +0100 |
| commit | 06c88d7d65ed3dbfb80e093cb0ee5b488a3ab6f2 (patch) | |
| tree | 401de2859c039ef6f2683c2a5b01f67b36fee561 /ide/preferences.ml | |
| parent | 4610afafcbd79f38876e528c0f30c9347648efc4 (diff) | |
[ide] coqtop -> coqidetop in user messages
Diffstat (limited to 'ide/preferences.ml')
| -rw-r--r-- | ide/preferences.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/preferences.ml b/ide/preferences.ml index 4aa8c92f73..1fdf54d4d1 100644 --- a/ide/preferences.ml +++ b/ide/preferences.ml @@ -692,7 +692,7 @@ let configure ?(apply=(fun () -> ())) parent = let cmd_coqtop = string ~f:(fun s -> cmd_coqtop#set (if s = "AUTO" then None else Some s)) - " coqtop" (match cmd_coqtop#get with |None -> "AUTO" | Some x -> x) in + " coqidetop" (match cmd_coqtop#get with |None -> "AUTO" | Some x -> x) in let cmd_coqc = pstring " coqc" cmd_coqc in let cmd_make = pstring " make" cmd_make in let cmd_coqmakefile = pstring "coqmakefile" cmd_coqmakefile in |