- shorten the lifetime of a variable
authorMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 31 Oct 2008 14:01:02 +0000 (14:01 +0000)
committerMichael Beck <beck@ipd.info.uni-karlsruhe.de>
Fri, 31 Oct 2008 14:01:02 +0000 (14:01 +0000)
[r23325]


No differences found