branch: elpa/idris-mode
commit acdf52f27112d78abea5e56a7ecefc2e01eb9c7d
Author: Marek L <[email protected]>
Commit: Marek L <[email protected]>
Simplify code by using `cl-pushnew`
---
idris-warnings.el | 3 +--
1 file changed, 1 insertion(+), 2 deletions(-)
diff --git a/idris-warnings.el b/idris-warnings.el
index d5d709d52c..45143af57e 100644
--- a/idris-warnings.el
+++ b/idris-warnings.el
@@ -125,8 +125,7 @@ is mostly the same as (startline startcolumn)"
(overlay-put overlay 'face 'idris-warning-face)
(overlay-put overlay 'mouse-face 'highlight)
(push overlay idris-warnings)
- (unless (memq (current-buffer) idris-warnings-buffers)
- (push (current-buffer) idris-warnings-buffers))
+ (cl-pushnew (current-buffer) idris-warnings-buffers)
overlay))
(provide 'idris-warnings)
