From aa381b59210eed6b622dc6c4ccd564ecaf919e92 Mon Sep 17 00:00:00 2001
From: Pierre Courtieu
Date: Fri, 9 Oct 2015 11:32:07 +0200
Subject: Fixing < 25 use of window-frame (mandatory arg).

---
 coq/coq.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/coq.el b/coq/coq.el
index e45076c9..236af8f7 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -2499,7 +2499,7 @@ First goal is displayed on the bottom of its window, maximizing the
 number of hypothesis displayed, without hiding the goal"
   (interactive)
   (let ((pg-frame (car (coq-find-threeb-frames)))) ; selecting the good frame
-    (with-selected-frame (or pg-frame (window-frame))
+    (with-selected-frame (or pg-frame (window-frame (selected-window)))
       ;; prefer current frame
       (let ((goal-win (or (get-buffer-window proof-goals-buffer) (get-buffer-window proof-goals-buffer t))))
         (if goal-win
-- 
cgit v1.2.3