From 13d8ad97def828eb7ee441eec21d1cbd96e5f5b2 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Tue, 23 Dec 2014 01:59:01 +0000
Subject: Refix prettify compilation bug.

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

diff --git a/coq/coq.el b/coq/coq.el
index 466b473e..534a2a62 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -29,10 +29,6 @@
   (defvar coq-use-project-file t)        ; defpacustom
   (defvar coq-use-editing-holes nil)    ; defpacustom
   (defvar coq-hide-additional-subgoals nil) ; defpacustom
-  (defvar coq-may-use-prettify nil) ; may become t below
-  (if (fboundp 'prettify-symbols-mode)
-      (defvar coq-may-use-prettify t)
-    (defvar prettify-symbols-alist nil))
   (proof-ready-for-assistant 'coq))     ; compile for coq
 
 (require 'proof)
@@ -54,6 +50,13 @@
 
 (declare-function some "cl-extra")      ; spurious bytecomp warning
 
+;; prettify is in emacs > 24.4
+;; FIXME: this should probably be done like for smie above.
+(defvar coq-may-use-prettify nil) ; may become t below
+(eval-when-compile
+  (if (fboundp 'prettify-symbols-mode)
+      (defvar coq-may-use-prettify t)
+    (defvar prettify-symbols-alist nil)))
 
 
 ;; ----- coq-shell configuration options
@@ -1112,7 +1115,7 @@ project file settings."
 
 (defun coq-find-project-file ()
   "Return '(buf alreadyopen) where buf is the buffer visiting coq project file.
-alreadyopen is t if buffer already existed."  
+alreadyopen is t if buffer already existed."
   (let* (
          (projectfiledir (locate-dominating-file buffer-file-name coq-project-filename)))
     (when projectfiledir
-- 
cgit v1.2.3