diff options
| author | David Aspinall | 2011-01-25 09:55:05 +0000 |
|---|---|---|
| committer | David Aspinall | 2011-01-25 09:55:05 +0000 |
| commit | 712d2742e1efe090bca19e6ef81a16186f71bbdb (patch) | |
| tree | fd0d1450449b4f02bab2d187194226a761a5a7cb | |
| parent | 6cf2b829885ffbc482b7279a24bb3663d5349c02 (diff) | |
Remove proof-shell-wait that causes deadlock with new multiple-file code.
| -rw-r--r-- | coq/coq-autotest.el | 3 |
1 files changed, 2 insertions, 1 deletions
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) |