Ticket #458 (new defect)

Opened 6 months ago

Last modified 2 months ago

ProofGeneral 4.2 byte-compilation fails with Emacs 24.2.90

Reported by: da Owned by: da
Priority: major Milestone: PG-Emacs-4.3
Component: 2:pg-emacs Keywords:
Cc:

Description

Byte-compilation of ProofGeneral 4.2 with the Emacs 24.2.90 pretest version fails in pg-response.el: 

In toplevel form:
generic/pg-response.el:104:23:Error: `special-display-regexps' is an
obsolete variable (as of 24.3); use `display-buffer-alist' instead.

Change History

comment:1 Changed 2 months ago by coquser

Workaround: edit Makefile and remove (setq byte-compile-error-on-warn t).

Note: See TracTickets for help on using tickets.