From 31d034d3063adf19ef6ee4ba5e27e947034ff54a Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 26 Oct 1998 13:58:05 +0000
Subject: Change to proof-shell-ready-prover

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

diff --git a/coq/coq.el b/coq/coq.el
index 4e4a173f..106aa94d 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -235,7 +235,7 @@
   "Search for type in goals."
   (interactive)
   (let (cmd)
-    (proof-check-process-available)
+    (proof-shell-ready-prover) ;; was (proof-check-process-available)
     (setq cmd (read-string "Search Type: " nil 'proof-minibuffer-history))
     (proof-invisible-command (concat "Search " cmd proof-terminal-string))))
 
-- 
cgit v1.2.3