Fixed a compilation issue + small display glitch in coqpg

1 files changed, 4 insertions, 3 deletions

diff --git a/coq/coq.el b/coq/coq.el
index 3ff0bf2c..76fb4fb4 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1282,7 +1282,7 @@ Warning:
 ;; *default* value to nil.
 (custom-set-default 'proof-output-tooltips nil)
 
-
+;; This seems xemacs only code, remove?
 (defconst coq-prettify-symbols-alist
   '(("not"	. ?¬)
     ;; ("/\\"	. ?∧)
@@ -1407,8 +1407,9 @@ Warning:
            (cons coq-tags tags-table-list)))
   
   (set (make-local-variable 'blink-matching-paren-dont-ignore-comments) t)
-  (set (make-local-variable 'prettify-symbols-alist)
-       coq-prettify-symbols-alist)
+; xemacs related, remove?
+;  (set (make-local-variable 'prettify-symbols-alist)
+;       coq-prettify-symbols-alist)
 
   (setq proof-cannot-reopen-processed-files nil)