Me Wed, 12 Dec 2012 20:11:40 -0800
I was still using 5.2. I've upgraded now. Thanks.
____________________ Racket Users list: http://lists.racket-lang.org/users