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