use comprehension in box-and-client

2016-02-05 13:20:13 -05:00 · 2016-02-05 13:20:13 -05:00 · 006946a3a0
parent fa3418f641
commit 006946a3a0
1 changed files with 1 additions and 1 deletions
--- a/prospect/examples/box-and-client.rkt
+++ b/prospect/examples/box-and-client.rkt
@ -18,7 +18,7 @@
 (spawn (lambda (e s)
         (match e
           [(patch added removed)
-            (transition s (for/list [(v (project-assertions added (box-state (?!))))]
+            (transition s (for-trie/list ([(box-state $v) added])
                            (log-info "client: learned that box's value is now ~v" v)
                            (message (set-box (+ v 1)))))]
           [_ #f]))