From 615374cd94183bc1f3378928b6f2f17b522a51be Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 29 Sep 2000 17:24:56 +0000
Subject: Non existent get-window-buffer -> get-buffer-window  (how did that
 get through?)

---
 generic/proof-menu.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/generic/proof-menu.el b/generic/proof-menu.el
index d633826e..cf04f998 100644
--- a/generic/proof-menu.el
+++ b/generic/proof-menu.el
@@ -24,7 +24,7 @@ If in three window or multiple frame mode, display both buffers."
    ((or proof-dont-switch-windows proof-multiple-frames-enable)
     ;; Display both
     (proof-switch-to-buffer proof-response-buffer 'noselect)
-    (set-window-point (get-window-buffer proof-response-buffer)
+    (set-window-point (get-buffer-window proof-response-buffer)
 		      (point-max))
     (proof-switch-to-buffer proof-goals-buffer 'noselect))
    ((and (buffer-live-p proof-response-buffer)
@@ -34,7 +34,7 @@ If in three window or multiple frame mode, display both buffers."
    (t
     ;; Response buffer invisible, let's display it
     (proof-switch-to-buffer proof-response-buffer 'noselect)
-    (set-window-point (get-window-buffer proof-response-buffer)
+    (set-window-point (get-buffer-window proof-response-buffer)
 		      (point-max)))))
 
 
-- 
cgit v1.2.3