From 419301539ab1c6851574e97d75c164046149d7b2 Mon Sep 17 00:00:00 2001 From: Clément Pit--Claudel Date: Sat, 25 Feb 2017 19:09:50 -0500 Subject: Remove a few useless eval-and-compile calls --- lego/lego.el | 17 ++++++++--------- 1 file changed, 8 insertions(+), 9 deletions(-) (limited to 'lego') diff --git a/lego/lego.el b/lego/lego.el index 1ead4b9c..d1bd7532 100644 --- a/lego/lego.el +++ b/lego/lego.el @@ -149,15 +149,14 @@ Activates extended printing routines required for Proof General.") (lego-shell-mode-config)) (define-derived-mode lego-mode proof-mode - "lego" nil - (lego-mode-config)) - -(eval-and-compile - (define-derived-mode lego-response-mode proof-response-mode - "LEGOResp" nil - (setq proof-response-font-lock-keywords lego-font-lock-terms) - (lego-init-syntax-table) - (proof-response-config-done))) + "lego" nil + (lego-mode-config)) + +(define-derived-mode lego-response-mode proof-response-mode + "LEGOResp" nil + (setq proof-response-font-lock-keywords lego-font-lock-terms) + (lego-init-syntax-table) + (proof-response-config-done)) (define-derived-mode lego-goals-mode proof-goals-mode "LEGOGoals" "LEGO Proof State" -- cgit v1.2.3