[nongnu] elpa/idris-mode 391963a94c 09/14: Use `idris-repl-buffer-name` instead of `(idris-buffer-name :repl)`

[ELPA Syncer]

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

    Use `idris-repl-buffer-name` instead of `(idris-buffer-name :repl)`
---
 idris-repl.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/idris-repl.el b/idris-repl.el
index 81d10d366c..5aa6f8cdb8 100644
--- a/idris-repl.el
+++ b/idris-repl.el
@@ -323,7 +323,7 @@ Invokes `idris-repl-mode-hook'."
   "Apply semantic highlighting to the REPL input beginning at START-POS using
 the Idris location information START-LINE, START-COL, END-LINE, and END-COL
 and semantic annotations PROPS."
-  (let ((buffer (get-buffer (idris-buffer-name :repl))))
+  (let ((buffer (get-buffer idris-repl-buffer-name)))
     (with-current-buffer buffer
       (save-restriction
         (widen)