diff options
| author | David Aspinall | 2010-08-17 17:00:10 +0000 |
|---|---|---|
| committer | David Aspinall | 2010-08-17 17:00:10 +0000 |
| commit | 55d2ef1416207c411e98c57ad7717c1aa7569b50 (patch) | |
| tree | 8d7d46ead494421393ce31287415d54b6de6c6b1 /generic/proof-shell.el | |
| parent | e4fb92be71b950f867a2c941a85903cb2722e15e (diff) | |
proof-shell-action-list-item: fix type for flags as an element, not a cdr
Diffstat (limited to 'generic/proof-shell.el')
| -rw-r--r-- | generic/proof-shell.el | 2 |
1 files changed, 1 insertions, 1 deletions
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'. |