From 75ef296c58b6741624e610426436a24c0c1ec34a Mon Sep 17 00:00:00 2001 From: Tony Garnock-Jones Date: Sun, 17 Jul 2016 12:08:28 -0400 Subject: [PATCH] Repair TCP state-vector tracking. I had missed that the syndicate/monolithic implementation was *subscribing* with a #t filter, but *projecting* without one. --- examples/netstack/tcp.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/examples/netstack/tcp.rkt b/examples/netstack/tcp.rkt index bd7972d..0ed20a3 100644 --- a/examples/netstack/tcp.rkt +++ b/examples/netstack/tcp.rkt @@ -133,7 +133,7 @@ (define active-state-vectors (query-set active-state-vectors - (observe (observe (tcp-packet _ $si $sp $di $dp _ _ _ _ _ _))) + (observe (tcp-packet #t $si $sp $di $dp _ _ _ _ _ _)) (list si sp di dp))) (define (state-vector-active? statevec)