From 55d2ef1416207c411e98c57ad7717c1aa7569b50 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 17 Aug 2010 17:00:10 +0000
Subject: proof-shell-action-list-item: fix type for flags as an element, not a
 cdr

---
 generic/proof-shell.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-shell.el b/generic/proof-shell.el
index 64417ecf..7b4c30ec 100644
--- a/generic/proof-shell.el
+++ b/generic/proof-shell.el
@@ -847,7 +847,7 @@ used in `proof-add-to-queue' when we start processing a queue, and in
 (defun proof-shell-action-list-item (cmd callback &optional flags)
   "Return action list entry run CMD with callback CALLBACK and FLAGS.
 The queue entry does not refer to a span in the script buffer."
-  (append (list nil (list cmd) callback) flags))
+  (list nil (list cmd) callback flags))
 
 (defun proof-shell-set-silent (span)
   "Callback for `proof-shell-start-silent'.
-- 
cgit v1.2.3