1 files changed, 8 insertions, 0 deletions
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