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