From 56d435bf99f048244eb03bbbcfa15e0542b058eb Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Fri, 6 Jan 2017 16:46:57 -0500
Subject: [PATCH] Requires a seteq
---
src/site.rkt | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/src/site.rkt b/src/site.rkt
index 6d6e014..f59cabf 100644
--- a/src/site.rkt
+++ b/src/site.rkt
@@ -1606,9 +1606,9 @@
[(list 'rerender! items-to-rerender)
(log-info "rerender! ~v" items-to-rerender)
(define packages-to-rerender
- (list->set (if items-to-rerender
- (filter symbol? items-to-rerender)
- (all-package-names))))
+ (list->seteq (if items-to-rerender
+ (filter symbol? items-to-rerender)
+ (all-package-names))))
(package-change-handler packages-to-render-before-issuing-completions
pending-completions
(set-union packages-to-render-in-idle-moments