branch: elpa/idris-mode
commit 356ca15e60d49286c5f09b0bbef7e7754515e43c
Author: Marek L <[email protected]>
Commit: Marek L <[email protected]>
Remove unecessary progn
The `search-backward` already returns the `point` at
the beginning of the occurence.
---
idris-commands.el | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/idris-commands.el b/idris-commands.el
index 417c827880..ca7f35e9ed 100644
--- a/idris-commands.el
+++ b/idris-commands.el
@@ -737,7 +737,7 @@ If no indentation is found, return the empty string."
(defun idris-replace-hole-with (expr)
"Replace the hole under the cursor by some EXPR."
(save-excursion
- (let ((start (progn (search-backward "?") (point)))
+ (let ((start (search-backward "?"))
(end (progn (forward-char) (search-forward-regexp "[^a-zA-Z0-9_']")
(backward-char) (point))))
(delete-region start end))
