Fix name used by coerce-contract for contract-first-order.
This commit is contained in:
parent
eb3d46cc0c
commit
a0390d4ca8
|
@ -68,7 +68,7 @@
|
|||
|
||||
(define (contract-first-order c)
|
||||
(contract-struct-first-order
|
||||
(coerce-contract 'contract-first-order-passes? c)))
|
||||
(coerce-contract 'contract-first-order c)))
|
||||
|
||||
(define (contract-first-order-passes? c v)
|
||||
((contract-struct-first-order
|
||||
|
|
Loading…
Reference in New Issue
Block a user