From d2c699c9690ab2479647024c5326985bdac2a142 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 5 Jan 2015 12:02:00 +0000
Subject: Fix compile on 23.x

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

diff --git a/coq/coq-smie.el b/coq/coq-smie.el
index f754bc31..0dec5703 100644
--- a/coq/coq-smie.el
+++ b/coq/coq-smie.el
@@ -48,7 +48,8 @@ attention to case differences."
 ;; stackoverflow efficient if bytecompiled, builtin version is
 ;; probably better when it exists
 (unless (fboundp 'string-suffix-p)
-  (fset 'string-suffix-p 'coq-string-suffix-p))
+  (fset 'string-suffix-p 'coq-string-suffix-p)
+  (declare-function string-suffix-p "smie"))
 
 ;; As any user defined notation ending with "." will break
 ;; proofgeneral synchronization anyway, let us consider that any
-- 
cgit v1.2.3