[nongnu] elpa/idris-mode 1dc558ad24 6/6: Merge pull request #561 from jfdm/fix-test

[ELPA Syncer]

branch: elpa/idris-mode
commit 1dc558ad2423ba639fa0b0ee4aa88e208f26046b
Merge: ea83139b39 6dd87e13e8
Author: Jan de Muijnck-Hughes <jfdm@users.noreply.github.com>
Commit: GitHub <noreply@github.com>

    Merge pull request #561 from jfdm/fix-test
    
    [ 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