[nongnu] elpa/idris-mode 1b5a537f0a 06/10: [ flycheck ] Remove unused var `flycheck-idris2-executable`

[ELPA Syncer]

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

    [ flycheck ] Remove unused var `flycheck-idris2-executable`
---
 flycheck-idris.el | 1 -
 1 file changed, 1 deletion(-)

diff --git a/flycheck-idris.el b/flycheck-idris.el
index d6d3637c26..aca30ffe4f 100644
--- a/flycheck-idris.el
+++ b/flycheck-idris.el
@@ -82,7 +82,6 @@
                           ":"  end-column))
   :modes idris-mode)
 
-(setq flycheck-idris2-executable "idris2")
 
 ;;; ###autoload
 (add-to-list 'flycheck-checkers 'idris)