For lack of a colon, unit tests were failed.

This commit is contained in:
Stevie Strickland 2011-07-19 08:25:42 -04:00
parent 302cbb5275
commit 6bf13ee2dd

View File

@ -6,8 +6,8 @@
(define top-level "top-level")
(define (match-blame re msg)
(or (regexp-match? (format "blaming ~a" re) msg)
(regexp-match? (format "self-contract violation:.*blaming ~a" re) msg)))
(or (regexp-match? (format "blaming: ~a" re) msg)
(regexp-match? (format "self-contract violation:.*blaming: ~a" re) msg)))
(define (match-obj re msg)
(or (regexp-match? (format "~a: contract violation" re) msg)