[nongnu] elpa/idris-mode bc44e934f8 5/8: Stop CI run?

[ELPA Syncer]

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

    Stop CI run?
---
 idris-tests.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/idris-tests.el b/idris-tests.el
index 7a679801c1..97049c5311 100644
--- a/idris-tests.el
+++ b/idris-tests.el
@@ -159,7 +159,7 @@ remain."
 
 (ert-deftest idris-test-idris-type-search ()
   "Test that `idris-type-search' produces output in Idris info buffer."
-  (let ((buffer (find-file "test-data/Empty.idr")))
+  (let ((buffer (find-file "test-data/AddClause.idr")))
     (with-current-buffer buffer
       (idris-load-file)
       (funcall-interactively 'idris-type-search "Nat"))