Unplugging previous commit (proof using insertion.

It needs more tweaking when a bloc is asserted at once.

1 files changed, 2 insertions, 2 deletions

diff --git a/coq/coq.el b/coq/coq.el
index 610f1c42..48be8f37 100644
--- a/coq/coq.el
+++ b/coq/coq.el
@@ -2614,8 +2614,8 @@ recieving suggestions from coq at Qed time."
         (coq-insert-proof-using-suggestion suggestion)))))
 
 
-(add-hook 'proof-shell-handle-delayed-output-hook
-	  #'coq-proof-using-suggest-hook t)
+;(add-hook 'proof-shell-handle-delayed-output-hook
+	  ;#'coq-proof-using-suggest-hook t)
 
 
 ;::::::::::::: inserting suggested Proof using XXX... ;;;;;;;;;;