[nongnu] elpa/idris-mode e31fe83a40 02/14: Remove generated clause from `AddClause.idr` to

[ELPA Syncer]

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

    Remove generated clause from `AddClause.idr` to
    
    test `idris-add-clause`
---
 test-data/AddClause.idr | 2 --
 1 file changed, 2 deletions(-)

diff --git a/test-data/AddClause.idr b/test-data/AddClause.idr
index b66d65fbf3..0df612adc6 100644
--- a/test-data/AddClause.idr
+++ b/test-data/AddClause.idr
@@ -4,6 +4,4 @@ data Test = A | B
 
 --++++++++++++++++
 test : Test -> Int
-test x = ?test_rhs
-