[nongnu] elpa/idris-mode 6dd87e13e8 4/6: [ testing ] apparently this makes test pass again.

[ELPA Syncer]

branch: elpa/idris-mode
commit 6dd87e13e801dc2bcc9e78a6c4509eed47d05985
Author: Jan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>
Commit: Jan de Muijnck-Hughes <jan.deMuijnck-Hughes@glasgow.ac.uk>

    [ testing ] apparently this makes test pass again.
---
 idris-tests.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/idris-tests.el b/idris-tests.el
index 97049c5311..4ee5896ce8 100644
--- a/idris-tests.el
+++ b/idris-tests.el
@@ -108,7 +108,7 @@ remain."
 
 (ert-deftest idris-test-proof-search ()
   "Test that proof search works"
-  (idris-quit)
+;  (idris-quit)
 
   (let ((buffer (find-file "test-data/ProofSearch.idr")))
     (with-current-buffer buffer