Remove useless module requirements

This commit is contained in:
Feufochmar 2022-05-20 19:41:19 +02:00
parent e13da0b71e
commit d51866a5e5
1 changed files with 0 additions and 2 deletions

View File

@ -3,8 +3,6 @@
(require
"stored-objects.rkt"
"user.rkt"
; Formatting
(prefix-in scrib: scribble/reader)
)
(provide