From bf4b6736570eadad18a3e9ad10a3792c48be7d2c Mon Sep 17 00:00:00 2001
From: pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Mon, 10 Dec 2012 11:19:01 +0000
Subject: Tiny fix of r16049

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16055 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 ide/coqide_main.ml4 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'ide/coqide_main.ml4')

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
-- 
cgit v1.2.3