diff make/jprt.properties @ 8650:251b1c84e668

UnsafeCastNode: make it an subclass of PiNode as they have similar properties and usages
author Bernhard Urban <bernhard.urban@jku.at>
date Fri, 05 Apr 2013 16:54:55 +0200
parents 3958f0acde31
children 3be6a41ad358
line wrap: on
line diff