diff options
Diffstat (limited to 'ide')
-rw-r--r-- | ide/coqide_main.ml4 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ide/coqide_main.ml4 b/ide/coqide_main.ml4 index a9b10e60c..48983dff7 100644 --- a/ide/coqide_main.ml4 +++ b/ide/coqide_main.ml4 @@ -105,7 +105,7 @@ let () = ~callback:(fun x -> Coqide.do_load x; true) in let _ = osx#connect#ns_application_block_termination - ~callback:Coqide.forbid_quit_to_save + ~callback:Coqide.forbid_quit in let _ = osx#connect#ns_application_will_terminate ~callback:Coqide.close_and_quit |