From 712d2742e1efe090bca19e6ef81a16186f71bbdb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 25 Jan 2011 09:55:05 +0000
Subject: Remove proof-shell-wait that causes deadlock with new multiple-file
 code.

---
 coq/coq-autotest.el | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/coq/coq-autotest.el b/coq/coq-autotest.el
index fdfa5f1d..d1c32cb6 100644
--- a/coq/coq-autotest.el
+++ b/coq/coq-autotest.el
@@ -36,7 +36,8 @@
   (pg-autotest eval (proof-electric-terminator-toggle 1))
   (pg-autotest eval (insert "Module test")) ; no \n
   (proof-electric-terminator)
-  (proof-shell-wait)
+  ;; Note: with new multiple-file code, above fires up process.
+  ;; If we do (proof-shell-wait) here, we get a deadlock.
   (pg-autotest eval (insert " Goal forall (A B:Prop),(A /\\ B) -> (B /\\ A)"))
   (proof-electric-terminator)
   (proof-shell-wait)
-- 
cgit v1.2.3