[nongnu] elpa/idris-mode bf262eb187 3/5: Clear state in idris-list-holes test

[ELPA Syncer]

branch: elpa/idris-mode
commit bf262eb187360e8f28eb4373d2d245237ac8be81
Author: Marek L <nospam.keram@gmail.com>
Commit: Marek L <nospam.keram@gmail.com>

    Clear state in idris-list-holes test
---
 idris-tests.el | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/idris-tests.el b/idris-tests.el
index 018a75863b..47798b24cb 100644
--- a/idris-tests.el
+++ b/idris-tests.el
@@ -124,6 +124,9 @@ remain."
       (dotimes (_ 5) (accept-process-output nil 1))
       (let ((holes-buffer (get-buffer idris-hole-list-buffer-name)))
         (should (not (bufferp holes-buffer)))))
+
+    (kill-buffer buffer)
+    (kill-buffer other-buffer)
     (idris-quit)))
 
 (ert-deftest idris-test-proof-search ()