removed some unused variables
authorChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Thu, 6 Jul 2006 14:47:10 +0000 (14:47 +0000)
committerChristian Würdig <chriswue@ipd.info.uni-karlsruhe.de>
Thu, 6 Jul 2006 14:47:10 +0000 (14:47 +0000)
free irgs if statistic is not active


No differences found