fixed a bug with region-exists-p not defined in some emacsen.

1 files 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