Rename federation2.rkt -> federation.rkt

This commit is contained in:
Tony Garnock-Jones 2019-05-03 13:45:05 +01:00
parent 508e37171d
commit 83c81fa293
2 changed files with 1 additions and 1 deletions

View File

@ -3,7 +3,7 @@
(require imperative-syndicate/pattern)
(require/activate imperative-syndicate/drivers/timer)
(require/activate "federation2.rkt")
(require/activate "federation.rkt")
(assertion-struct present (who))
(message-struct says (who what))