<div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="im"><br></div>
do you have the latest racket 5.1 release?<br><br></blockquote><div><br></div><div>I turn out to have 5.0.1.7; I wasn't aware of relevant changes so I didn't perform any upgrades.</div><div><br></div><div>I'll update and see whether that helps.</div>
<div><br></div><div>Thanks.</div><div>Kas.</div></div>