comparison make/jprt.properties @ 7546:727e869891fc

let CheckCastSnippets insert UnsafeCastNodes (so that type stays visible during lowering)
author Lukas Stadler <lukas.stadler@jku.at>
date Thu, 24 Jan 2013 10:37:43 +0100
parents 3958f0acde31
children 3be6a41ad358
comparison
equal deleted inserted replaced
7545:b30b33d9da80 7546:727e869891fc