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