Typed Racket

Asumu Takikawa fef7b7b508 Fix timing in class type-checking ... (make sure the timing goes away if the flag is off) original commit: ee3e83856c6f6973c29ada0c809a5ecb50d871aa		2014-02-20 16:50:26 -05:00
pkgs/typed-racket-pkgs	Fix timing in class type-checking	2014-02-20 16:50:26 -05:00