[nongnu] elpa/idris-mode a0a8196b7c 2/7: Remove duplicate idris-show-source-location function

[ELPA Syncer]

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

    Remove duplicate idris-show-source-location function
---
 idris-warnings-tree.el | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

diff --git a/idris-warnings-tree.el b/idris-warnings-tree.el
index dbf6a580b5..1a9ca7a6cb 100644
--- a/idris-warnings-tree.el
+++ b/idris-warnings-tree.el
@@ -64,7 +64,7 @@
          (button-text `(,(format "%s line %s col %s:" (nth 0 note) (nth 1 
note) (nth 2 note))
                         help-echo "go to source location"
                         action ,#'(lambda (_)
-                                    (idris-show-source-location (nth 0 note)
+                                    (idris-goto-source-location (nth 0 note)
                                                                 (nth 1 note)
                                                                 (nth 2 
note))))))
     (make-idris-tree :item (nth 3 note)
@@ -117,10 +117,7 @@ Invokes `idris-compiler-notes-mode-hook'."
     (cond ((not (idris-tree-leaf-p tree))
            (idris-tree-toggle tree))
           (t
-           (idris-show-source-location (nth 0 note) (nth 1 note) (nth 2 
note))))))
-
-(defun idris-show-source-location (filename lineno col)
-  (idris-goto-source-location filename lineno col))
+           (idris-goto-source-location (nth 0 note) (nth 1 note) (nth 2 
note))))))
 
 (defun idris-goto-location (filename)
   "Opens buffer for filename"