diff --git a/prospect-monolithic/mux.rkt b/prospect-monolithic/mux.rkt index b9bacd0..106c2a2 100644 --- a/prospect-monolithic/mux.rkt +++ b/prospect-monolithic/mux.rkt @@ -74,9 +74,9 @@ (values (for/list [(pid (tset->list affected-pids))] (cons pid (scn (biased-intersection new-routing-table (mux-interests-of new-m pid))))) (and (not (meta-label? label)) - (drop-scn (scn (trie-subtract (strip-interests new-routing-table) - (mux-interests-of new-m 'meta) - #:combiner (lambda (a b) #f))))))) + (drop-scn (scn (trie-relabel new-routing-table + (lambda (v) + (empty-tset-guard (tset-remove v 'meta))))))))) (define (compute-affected-pids routing-table cover) (trie-match-trie cover