From b45fc894461c3df3844c950eea0bebc8f2da7b8c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 10 Sep 2009 22:48:55 +0000
Subject: Move (require 'local-vars-list) from coq.el

---
 coq/coq-local-vars.el | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/coq/coq-local-vars.el b/coq/coq-local-vars.el
index 5643152d..08e871cf 100644
--- a/coq/coq-local-vars.el
+++ b/coq/coq-local-vars.el
@@ -9,6 +9,8 @@
 ;;; Commentary:
 ;;
 
+(require 'local-vars-list)              ; in lib directory
+
 (eval-when-compile
   (defvar coq-prog-name nil)
   (defvar coq-prog-args nil))
-- 
cgit v1.2.3