From a090ed83307f3792030a35d1e07c8289694b41a4 Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Wed, 12 Jul 2017 14:25:42 -0400 Subject: [PATCH] *gc-priority* has been unused since factoring away cross-facet restrictions on fields --- racket/syndicate/actor.rkt | 1 - 1 file changed, 1 deletion(-) diff --git a/racket/syndicate/actor.rkt b/racket/syndicate/actor.rkt index ecb5ef9..368c8df 100644 --- a/racket/syndicate/actor.rkt +++ b/racket/syndicate/actor.rkt @@ -224,7 +224,6 @@ *query-handler-priority* *normal-priority* *idle-priority* - *gc-priority* #:count priority-count)) (require (submod "." priorities))