Move (require 'local-vars-list) to coq-local-vars

1 files changed, 0 insertions, 1 deletions

diff --git a/coq/coq.el b/coq/coq.el
index 90112c0c..b7b751b9 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -24,7 +24,6 @@
   (proof-ready-for-assistant 'coq))     ; compile for coq
 
 (require 'proof)
-(require 'local-vars-list)              ; in lib directory
 (require 'coq-local-vars)               ;
 (require 'coq-syntax)                   ; sets coq-prog-name
 (require 'coq-abbrev)                   ; coq specific menu