Remove unnecessary require
This commit is contained in:
parent
244436da45
commit
5d657d6a95
|
@ -7,7 +7,6 @@
|
|||
(struct-out server-envelope))
|
||||
|
||||
(require "wire-protocol.rkt")
|
||||
(require imperative-syndicate/term)
|
||||
(require racket/set)
|
||||
|
||||
;; Internal connection protocol
|
||||
|
|
Loading…
Reference in New Issue