From 475f196370931331d897c2307153247ac71728c6 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Thu, 2 Oct 2008 08:09:23 +0000
Subject: Fixing region access for emacs <= 22.

---
 coq/coq.el | 8 ++++++++
 1 file changed, 8 insertions(+)

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