Remove mistaken require

This commit is contained in:
Tony Garnock-Jones 2016-10-25 12:37:35 -04:00
parent cd83b5f5d8
commit acd9dde2b8
1 changed files with 0 additions and 1 deletions

View File

@ -53,7 +53,6 @@
(require xml)
(require/activate "timer.rkt")
(require "../protocol/advertise.rkt")
;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;