diff make/jprt.properties @ 9542:8a6bd04d9510

CheckCastNode: add test for load field vialoation a field access must be guarded by a cast
author Bernhard Urban <bernhard.urban@jku.at>
date Fri, 03 May 2013 15:29:26 +0200
parents f36e073d56a4
children e76dd894b984
line wrap: on
line diff