From 1c4fd3f01116ace158d3885e8a11c29f71d19823 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel <clement.pitclaudel@live.com>
Date: Mon, 25 Apr 2016 18:17:45 -0400
Subject: Don't use string-empty-p

It's too recent
---
 coq/coq.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/coq.el b/coq/coq.el
index 49d72c16..a75760ed 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -2055,7 +2055,7 @@ mouse activation."
 (defun coq--format-intros (output)
   "Create an “intros” form from the OUTPUT of “Show Intros”."
   (let* ((shints (replace-regexp-in-string "[\r\n ]*\\'" "" output)))
-    (if (or (string-empty-p shints)
+    (if (or (string= "" shints)
             (string-match coq-error-regexp shints))
         (error "Don't know what to intro")
       (format "intros %s" shints))))
-- 
cgit v1.2.3