Update internal-latency to use gestalt-union

2014-05-14 00:24:39 -04:00 · 2014-05-14 00:24:39 -04:00 · e424476a05
parent 86b5f9d431
commit e424476a05
1 changed files with 5 additions and 5 deletions
--- a/internal-latency.rkt
+++ b/internal-latency.rkt
@ -47,7 +47,7 @@
 				'()))]
 	       [_ #f]))
 	   #f
-	   (list (sub (ping dst src ?))
+	   (gestalt-union (sub (ping dst src ?))
 			  (sub 'kickoff)
 			  (pub (ping src dst ?)))))

@ -58,7 +58,7 @@
 		(transition s (send (ping id src stamp)))]
 	       [_ #f]))
 	   #f
-	   (list (sub (ping ? id ?))
+	   (gestalt-union (sub (ping ? id ?))
 			  (pub (ping id ? ?)))))

  (begin