diff options
Diffstat (limited to 'ide/coqide_ui.ml')
-rw-r--r-- | ide/coqide_ui.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/coqide_ui.ml b/ide/coqide_ui.ml index d3543cf2c..0d7c67acf 100644 --- a/ide/coqide_ui.ml +++ b/ide/coqide_ui.ml @@ -144,7 +144,7 @@ let init () = <toolitem action='Wizard' /> </toolbar> </ui>" - (if Gdk.Windowing.platform <> `QUARTZ then "<menuitem action='Quit' />" else "") + (if Coq_config.gtk_platform <> `QUARTZ then "<menuitem action='Quit' />" else "") (Buffer.contents (list_items "Tactic" Coq_commands.tactics)) (Buffer.contents (list_items "Template" Coq_commands.commands)) in |