diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2010-09-08 13:12:07 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2010-09-08 13:12:07 +0000 |
commit | c7acd9dd665c5f6758bc375db820c26037aae1f9 (patch) | |
tree | deb00dec914f99a2fcb21b914f0c4caad882f1a2 /generic/pg-autotest.el | |
parent | d13632d7a0a1fda5275abd909ae1891456f221e8 (diff) |
pg-autotest-find-file-restart: wait for retraction to complete.
Diffstat (limited to 'generic/pg-autotest.el')
-rw-r--r-- | generic/pg-autotest.el | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/generic/pg-autotest.el b/generic/pg-autotest.el index 88c1cacf..61c1c889 100644 --- a/generic/pg-autotest.el +++ b/generic/pg-autotest.el @@ -57,6 +57,7 @@ (unless (proof-locked-region-empty-p) ;; Should retract and unregister if was completely full (proof-goto-point)) + (proof-shell-wait) (pg-autotest-test-assert-unprocessed file)) ;;; Invoke a test |