From fa8822e40d2ac93817e7340bc298025547b5bd2d Mon Sep 17 00:00:00 2001
From: Sam Caldwell <samc@ccs.neu.edu>
Date: Mon, 17 Jun 2019 13:18:43 -0400
Subject: [PATCH] small cleanup

---
 racket/typed/proto.rkt | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/racket/typed/proto.rkt b/racket/typed/proto.rkt
index a3099aa..4a324b8 100644
--- a/racket/typed/proto.rkt
+++ b/racket/typed/proto.rkt
@@ -122,14 +122,11 @@
              [states (hash)])
     (match work-list
       [(cons current more)
-       (define all-txns
-         (for/list ([nm (in-set current)])
-           (hash-ref roles# nm)))
        (define agg-txn
          (for/fold ([agg (hash)])
-                   ([txns (in-list all-txns)])
-           (hash-union agg txns
-                       #:combine combine-effect-sets)))
+                   ([nm (in-set current)])
+           (define txns (hash-ref roles# nm))
+           (hash-union agg txns #:combine combine-effect-sets)))
        (define transitions
          (for/hash ([(D effs) (in-hash agg-txn)]
                     #:when (external-evt? D))