From 87c6f891cde59227a1e868b09b1130559bfbb383 Mon Sep 17 00:00:00 2001 From: John Clements Date: Mon, 30 Sep 2013 15:07:02 -0700 Subject: [PATCH] more helpful message for contract failure --- pkgs/htdp-pkgs/htdp-lib/stepper/private/annotate.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/htdp-pkgs/htdp-lib/stepper/private/annotate.rkt b/pkgs/htdp-pkgs/htdp-lib/stepper/private/annotate.rkt index 07075bb7ba..aabeab2901 100644 --- a/pkgs/htdp-pkgs/htdp-lib/stepper/private/annotate.rkt +++ b/pkgs/htdp-pkgs/htdp-lib/stepper/private/annotate.rkt @@ -679,7 +679,7 @@ [(stepper-syntax-property exp 'stepper-skipto/discard) (dont-annotate 'discard)] [(to-be-skipped? exp) - (vector (wcm-wrap 13 exp) null)] + (vector (wcm-wrap "supposed to be skipped" exp) null)] [else (let ([exp (syntax-disarm exp saved-code-inspector)])