[nongnu] elpa/idris-mode 505ce46cbf 03/12: Align idris-load-file and idris-load-file-sync `idris-eval`

[ELPA Syncer]

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

    Align idris-load-file and idris-load-file-sync `idris-eval`
---
 idris-commands.el | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/idris-commands.el b/idris-commands.el
index d807ab9cf7..fe5646bd5f 100644
--- a/idris-commands.el
+++ b/idris-commands.el
@@ -290,10 +290,10 @@ Idris process. This sets the load position to point, if 
there is one."
           (setq idris-currently-loaded-buffer nil)
           (idris-switch-working-directory srcdir)
           (let ((result
-                 (if idris-load-to-here
-                     (idris-eval `(:load-file ,fn
-                                              ,(idris-get-line-num 
idris-load-to-here)))
-                   (idris-eval `(:load-file ,fn)))))
+                 (idris-eval
+                  (if idris-load-to-here
+                      `(:load-file ,fn ,(idris-get-line-num 
idris-load-to-here))
+                    `(:load-file ,fn)))))
             (idris-update-options-cache)
             (setq idris-currently-loaded-buffer (current-buffer))
             (idris-make-clean)