From bf4b6736570eadad18a3e9ad10a3792c48be7d2c Mon Sep 17 00:00:00 2001
From: pboutill
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
---
 Makefile.common     | 3 +--
 ide/coqide_main.ml4 | 2 +-
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/Makefile.common b/Makefile.common
index c08379f80a..a5b3a29d82 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -212,8 +212,7 @@ endif
 LINKCMO:=$(CORECMA) $(STATICPLUGINS)
 LINKCMX:=$(CORECMA:.cma=.cmxa) $(STATICPLUGINS:.cma=.cmxa)
 
-IDEDEPS:=lib/clib.cma lib/xml_lexer.cmo lib/xml_parser.cmo \
-  lib/xml_utils.cmo
+IDEDEPS:=lib/clib.cma lib/xml_lexer.cmo lib/xml_parser.cmo
 IDECMA:=ide/ide.cma
 
 LINKIDE:=$(IDEDEPS) $(IDECMA) ide/coqide_main.ml
diff --git a/ide/coqide_main.ml4 b/ide/coqide_main.ml4
index a9b10e60c1..48983dff76 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