diff options
| -rw-r--r-- | lego.el | 11 |
1 files changed, 2 insertions, 9 deletions
@@ -4,7 +4,7 @@ ;; code. ;; Maintainer: LEGO Team <lego@dcs.ed.ac.uk> -;; Time-stamp: <05 Dec 96 tms /home/tms/elisp/lego.el> +;; Time-stamp: <12 Dec 96 tms /home/tms/elisp/lego.el> ;; Thanks to David Aspinall, Robert Boyer, Rod Burstall, ;; James McKinna, Mark Ruys, Martin Steffen, Perdita Stevens @@ -297,12 +297,6 @@ lego-id ")\\)?") 'font-lock-type-face)) "*Font-lock table for LEGO terms.") -(defvar lego-font-lock-error-messages - (list '("attempt to apply\\|with domain type\\|^to " .font-lock-error-face) - (cons (concat lego-error-regexp ".*\n") - 'font-lock-error-face)) - "Font-lock table for Error messages generated by the LEGO process.") - (defvar lego-font-lock-keywords-1 (append lego-font-lock-terms @@ -655,7 +649,6 @@ (defun lego-pbp-mode-config () (lego-common-config) - (setq font-lock-keywords - (append lego-font-lock-terms lego-font-lock-error-messages))) + (setq font-lock-keywords lego-font-lock-terms)) (provide 'lego) |