branch: elpa/idris-mode
commit bf262eb187360e8f28eb4373d2d245237ac8be81
Author: Marek L <nospam.ke...@gmail.com>
Commit: Marek L <nospam.ke...@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 ()
