From 673082b2bee3ca327db56bdc559f7f925259d1c8 Mon Sep 17 00:00:00 2001
From: Clément Pit--Claudel
Date: Sat, 25 Feb 2017 19:18:16 -0500
Subject: Remove unnecessary calls to 'eval-and-compile'

---
 generic/proof-shell.el | 1 -
 1 file changed, 1 deletion(-)

(limited to 'generic/proof-shell.el')

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 51305eef..93f1bbef 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -1911,7 +1911,6 @@ Error messages are displayed as usual."
 ;; Proof General shell mode definition
 ;;
 
-;(eval-and-compile			; to define vars
 ;;;###autoload
 (define-derived-mode proof-shell-mode scomint-mode
   "proof-shell" "Proof General shell mode class for proof assistant processes"
-- 
cgit v1.2.3