From 815cadebd99cd25dc78be6e2ba3af177c4140ebd Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 15 Sep 2009 08:40:00 +0000
Subject: Fix doc

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

(limited to 'generic')

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))
-- 
cgit v1.2.3