From 21e826b7cc3076364d72f6d4e453d4ffffed0982 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 27 May 2009 08:34:31 +0000
Subject: Cleanup more Emacs compatibility

---
 coq/coq.el | 12 +-----------
 1 file changed, 1 insertion(+), 11 deletions(-)

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index f36a2b2e..cff203bd 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -668,21 +668,11 @@ happen since one of them is necessarily set to t in coq-syntax.el."
     )
   )
 
-
-;; region-exists-p does not exist in some emacs
-(cond
- ((not (featurep 'region-exists-p))
-  (defmacro region-exists-p nil
-    "Returns t if the mark is active, nil otherwise."
-    `(not (eq mark-active nil)))))
-
-
-
 (defun coq-guess-or-ask-for-string (s &optional dontguess)
   (let ((guess
          (cond
           (dontguess nil)
-          ((region-exists-p)
+          ((not (eq mark-active nil)) ; region exists
            (buffer-substring-no-properties (region-beginning) (region-end)))
           ((fboundp 'symbol-near-point) (symbol-near-point))
           ((fboundp 'symbol-at-point) (symbol-at-point)))))
-- 
cgit v1.2.3