diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2017-02-25 19:09:50 -0500 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2017-03-08 15:06:17 -0500 |
| commit | 419301539ab1c6851574e97d75c164046149d7b2 (patch) | |
| tree | a44900050ff9715ec5587f98b9d1ddfd0fd3742f /lego | |
| parent | 5b85cc7793fbedd656d118454682e43d71dd05dc (diff) | |
Remove a few useless eval-and-compile calls
Diffstat (limited to 'lego')
| -rw-r--r-- | lego/lego.el | 17 |
1 files changed, 8 insertions, 9 deletions
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" |