Avoid identifier clash

This commit is contained in:
Tony Garnock-Jones 2017-08-05 16:46:51 -04:00
parent 1e42059c0f
commit f9a477832a
1 changed files with 1 additions and 1 deletions

View File

@ -4,7 +4,7 @@
run-with
run-with-trace)
(require syndicate/monolithic)
(require (except-in syndicate/monolithic subscription))
(require syndicate/trie)
(require racket/set)
(require syndicate/upside-down)