[nongnu] elpa/idris-mode 8c1a079a8e 03/18: Use idris-notes-buffer-name in idris-notes-quit

[ELPA Syncer]

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

    Use idris-notes-buffer-name in idris-notes-quit
---
 idris-warnings-tree.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/idris-warnings-tree.el b/idris-warnings-tree.el
index 3575483bbf..21adeb8dfd 100644
--- a/idris-warnings-tree.el
+++ b/idris-warnings-tree.el
@@ -100,7 +100,7 @@
 
 (defun idris-notes-quit ()
   (interactive)
-  (idris-kill-buffer :notes))
+  (idris-kill-buffer idris-notes-buffer-name))
 
 (define-derived-mode idris-compiler-notes-mode fundamental-mode 
"Compiler-Notes"
   "Idris compiler notes