Fix removed require.
original commit: fdbe0d3f275a619c4c232d0a428dfa843d363de5
This commit is contained in:
parent
9c58e1e8cd
commit
55f79f9403
|
@ -9,6 +9,8 @@
|
|||
(rep type-rep)
|
||||
(except-in (types utils union abbrev subtype)
|
||||
-> ->* one-of/c))
|
||||
(require-for-cond-contract
|
||||
syntax/stx)
|
||||
|
||||
(provide/cond-contract
|
||||
[tc/funapp1
|
||||
|
|
Loading…
Reference in New Issue
Block a user