From 4d923ab403743c3c091ba3feec10757fae3b2fec Mon Sep 17 00:00:00 2001
From: Hendrik Tews
Date: Wed, 26 Jan 2011 15:50:40 +0000
Subject: - more info on the elements of proof-action-list; the COMMANDS   list
 in it should be concatenated with (mapconcat 'identity   COMMANDS " "), which
 is not the case proof-shell-insert.

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

(limited to 'coq')

diff --git a/coq/coq.el b/coq/coq.el
index 91e5768f..255ca23f 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -1668,8 +1668,7 @@ compilation (if necessary) of the dependencies."
             (coq-object-hash-symbol nil)
             string)
         (dolist (item queueitems)
-          (let (;; XXX car or concat ?
-                (string (car (nth 1 item))))
+          (let ((string (mapconcat 'identity (nth 1 item) " ")))
             (when (and string
                        (string-match coq-require-command-regexp string))
               (let ((span (car item))
-- 
cgit v1.2.3