remove unused definition (some old refactoring lost track of this,

I presume)
This commit is contained in:
Robby Findler 2015-07-09 10:47:00 -05:00
parent 231e9b3f81
commit 2ffa03c626

View File

@ -155,8 +155,6 @@
(define (recursive-contract-stronger this that) (equal? this that))
(define trail (make-parameter #f))
(define ((recursive-contract-first-order ctc) val)
(contract-first-order-passes? (force-recursive-contract ctc)
val))