diff clean @ 4526:0e1f15ec0e94

fixed profiling of typechecks
author Christian Haeubl <christian.haeubl@oracle.com>
date Tue, 07 Feb 2012 11:43:05 -0800
parents 6223633ce7dd
children
line wrap: on
line diff