From c7acd9dd665c5f6758bc375db820c26037aae1f9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 8 Sep 2010 13:12:07 +0000
Subject: pg-autotest-find-file-restart: wait for retraction to complete.

---
 generic/pg-autotest.el | 1 +
 1 file changed, 1 insertion(+)

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
-- 
cgit v1.2.3