From a060c0dc046e526f8bf88b512e3c7c27e93421f8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Sep 2009 22:49:08 +0000
Subject: Move (require 'local-vars-list) to coq-local-vars

---
 coq/coq.el | 1 -
 1 file changed, 1 deletion(-)

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
-- 
cgit v1.2.3