Forgot to update endpoint.rkt's use of <spawn>

This commit is contained in:
Tony Garnock-Jones 2016-06-09 14:23:54 -04:00
parent d161d50b9a
commit 403cc372c1
1 changed files with 2 additions and 1 deletions

View File

@ -61,7 +61,8 @@
initial-actions)) initial-actions))
(list endpoint-group-handle-event (list endpoint-group-handle-event
(transition final-g (incorporate-cumulative-patch final-actions (transition final-g (incorporate-cumulative-patch final-actions
final-cumulative-patch)))) final-cumulative-patch))
#f))
(define (endpoint-action? a) (define (endpoint-action? a)
(or (action? a) (or (action? a)