[nongnu] elpa/idris-mode 3a819d46c6 3/7: Replace `save-excursion (beginning-of-line)..` with `(line-beginning-position)`

[ELPA Syncer]

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

    Replace `save-excursion (beginning-of-line)..` with 
`(line-beginning-position)`
---
 idris-prover.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/idris-prover.el b/idris-prover.el
index b6eb8145f2..9e00755e4e 100644
--- a/idris-prover.el
+++ b/idris-prover.el
@@ -139,7 +139,7 @@ string and whose cadr is highlighting information."
 
 (defun idris-prover-complete ()
   "Completion of the current input."
-  (let* ((start (save-excursion (beginning-of-line) (point)))
+  (let* ((start (line-beginning-position))
          (input (buffer-substring-no-properties
                  start
                  (point)))