From d53f544d4852ff64e334378505c9ca15a0338bf8 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Mon, 6 Sep 2010 09:45:58 +0000
Subject: Fixed a bug in coq "set prog args persistently".

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

diff --git a/coq/coq-local-vars.el b/coq/coq-local-vars.el
index 08e871cf..e021909f 100644
--- a/coq/coq-local-vars.el
+++ b/coq/coq-local-vars.el
@@ -131,7 +131,7 @@ These variable describes the coqtop arguments to be launched on this file.
 Optional argument OLDVALUE specifies the previous value of `coq-prog-args', it
 will be used to suggest values to the user."
   (let* ((olddirs (coq-extract-directories-from-args oldvalue))
-         (progargs "-emacs-U")
+         (progargs '("-emacs-U"))
          (option))
     ;; first suggest previous directories
     (while olddirs
@@ -152,7 +152,6 @@ will be used to suggest values to the user."
 These variable describes the coqtop command to be launched on this file.
 Optional argument OLDVALUE specifies the previous value of `coq-prog-name', it
 will be used to suggest a value to the user."
-  (message (concat "oldavalue: " oldvalue))
   (let* ((deflt (or oldvalue "coqtop"))
          (cmd (coq-read-directory
                (concat "coq program name (default \"" oldvalue "\"): ")
-- 
cgit v1.2.3