added cast to avoid compiler warning
authorChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Thu, 19 Apr 2007 14:33:33 +0000 (14:33 +0000)
committerChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Thu, 19 Apr 2007 14:33:33 +0000 (14:33 +0000)
[r13412]


No differences found