[nongnu] elpa/idris-mode e46686e 2/3: [ fixup ] make sure names are unique...

[ELPA Syncer]

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

    [ fixup ] make sure names are unique...
---
 idris-settings.el | 2 +-
 inferior-idris.el | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/idris-settings.el b/idris-settings.el
index cb82ed5..4519321 100644
--- a/idris-settings.el
+++ b/idris-settings.el
@@ -84,7 +84,7 @@ The log is placed in `idris-event-buffer-name'."
   :type 'boolean
   :group 'idris)
 
-(defcustom idris-words-of-encouragement t
+(defcustom idris-display-words-of-encouragement t
   "Send words of encouragement."
   :type 'boolean
   :group 'idris)
diff --git a/inferior-idris.el b/inferior-idris.el
index ff74c6d..ac818c2 100644
--- a/inferior-idris.el
+++ b/inferior-idris.el
@@ -142,7 +142,7 @@ directory variables.")
     (set-process-query-on-exit-flag idris-connection t)
     (setq idris-process-current-working-directory "")
     (run-hooks 'idris-run-hook)
-    (when idris-words-of-encouragement
+    (when idris-display-words-of-encouragement
       (message "Connected. %s" (idris-random-words-of-encouragement)))
     ))