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 fb3b7c74..6e2ba2ff 100644 --- a/generic/proof-shell.el +++ b/generic/proof-shell.el @@ -936,7 +936,7 @@ being processed." If START is non-nil, START and END are buffer positions in the active scripting buffer for the queue region. -This function calls `proof-append-alist'." +This function calls `proof-add-to-queue'." (if start (proof-set-queue-endpoints start end)) (proof-add-to-queue queueitems)) |