added Cast node.
authorGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Thu, 14 Aug 2003 08:14:07 +0000 (08:14 +0000)
committerGötz Lindenmaier <goetz@ipd.info.uni-karlsruhe.de>
Thu, 14 Aug 2003 08:14:07 +0000 (08:14 +0000)
The Cast node remarks source language casts.

[r1676]


No differences found