fixed a bug mentioned on the mailing list

svn: r15352
2009-07-01 14:02:55 +00:00 · 2009-07-01 14:02:55 +00:00 · 2b5e836b74
commit 2b5e836b74
parent 0c547f694d
1 changed files with 1 additions and 1 deletions
--- a/collects/scheme/private/contract.ss
+++ b/collects/scheme/private/contract.ss
@ -2064,7 +2064,7 @@ improve method arity mismatch contract violation error messages?
            (if (flat-contract? ctc)
                (let ([content-pred? (flat-contract-predicate ctc)])
                  (build-flat-contract
-                   `(listof ,(contract-name ctc))
+                   `(type-name ,(contract-name ctc))
                   (lambda (x) (and (predicate? x) (testmap content-pred? x)))))
                (let ([proj (contract-proc ctc)])
                  (make-proj-contract