Mercurial > hg > truffle
diff make/jprt.gmk @ 9543:f8a5f7f7d0bd
CheckCastNode: eliminate the other way around
and replace the previous node with a more specific node regarding its type
author | Bernhard Urban <bernhard.urban@jku.at> |
---|---|
date | Fri, 03 May 2013 15:05:07 +0200 |
parents | 109d1d265924 |
children | fe392af93c23 |