diff options
author | 2014-12-23 01:59:01 +0000 | |
---|---|---|
committer | 2014-12-23 01:59:01 +0000 | |
commit | 13d8ad97def828eb7ee441eec21d1cbd96e5f5b2 (patch) | |
tree | 6fe7a1ad29d066554185202bc755f141a12176e9 | |
parent | 73dd57e66a9a272dd6ed98428cd1803dd3b497d8 (diff) |
Refix prettify compilation bug.
-rw-r--r-- | coq/coq.el | 13 |
1 files changed, 8 insertions, 5 deletions
@@ -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 |