added cast to suppress warning
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Wed, 6 Jun 2007 12:11:31 +0000 (12:11 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Wed, 6 Jun 2007 12:11:31 +0000 (12:11 +0000)
[r14364]


No differences found