Change to proof-shell-ready-prover

1 files changed, 1 insertions, 1 deletions

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))))