add contract-correct caveat to contract violation error messages

2014-07-14 08:09:26 -05:00 · 2014-07-14 08:09:26 -05:00 · 1dda800ca2
commit 1dda800ca2
parent 737330deb6
1 changed files with 1 additions and 0 deletions
--- a/racket/collects/racket/contract/private/blame.rkt
+++ b/racket/collects/racket/contract/private/blame.rkt
@ -320,6 +320,7 @@
   from-line
   on-line
   blaming-line
+   "   (assuming the contract is correct)"
   at-line))

 ;; combine-lines : (->* #:rest (listof (or/c string? #f))) string?)