From 26b6db484d17eec4dfc3ab8219d16e9a9e6c8701 Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Thu, 11 Jul 2013 20:57:41 +0000
Subject: fix typo and compilation

---
 coq/coq.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/coq/coq.el b/coq/coq.el
index ac5be3b9..38a5e7cc 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -26,7 +26,7 @@
   (defvar string nil)       ; dynamic scope in coq-insert-as stuff
   (defvar coq-auto-insert-as nil)    ; defpacustom
   (defvar coq-time-commands nil)        ; defpacustom
-  (defvar use-project-file t)        ; defpacustom
+  (defvar coq-use-project-file t)        ; defpacustom
   (defvar coq-project-filename nil)        ; defpacustom
   (defvar coq-use-editing-holes nil)    ; defpacustom
   (defvar coq-hide-additional-subgoals nil) ; defpacustom
@@ -1111,7 +1111,7 @@ Note that this may conflict with a similar configuration in a
 .dir-locals.el file or local file variables (both should
 overrides the the settings in _CoqProject). See
 `coq-project-filename' to change the name of the project file,
-and `use-project-file' to disable this feature."
+and `coq-use-project-file' to disable this feature."
   (let* ((projectbuffer-aux (coq-find-project-file))
          (projectbuffer (and projectbuffer-aux (car projectbuffer-aux)))
          (no-kill (and projectbuffer-aux (car (cdr projectbuffer-aux)))))
-- 
cgit v1.2.3