diff options
| -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'. |