From 11dca786bc67950483b12f8e9e1c8cda8341ec15 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 16 Apr 2009 08:21:58 +0000
Subject: fixed a bug with region-exists-p not defined in some emacsen.

---
 coq/coq.el | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index c9471692..f36a2b2e 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -669,14 +669,15 @@ happen since one of them is necessarily set to t in coq-syntax.el."
   )
 
 
-;; region-exists-p does not exist in emacs <= 22
+;; region-exists-p does not exist in some emacs
 (cond
- ((string-match "NU Emacs 22" (emacs-version))
+ ((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
-- 
cgit v1.2.3