Use new scope instead of empty statement.
authorSebastian Buchwald <Sebastian.Buchwald@kit.edu>
Fri, 21 Dec 2012 17:17:41 +0000 (18:17 +0100)
committerSebastian Buchwald <Sebastian.Buchwald@kit.edu>
Fri, 21 Dec 2012 17:17:41 +0000 (18:17 +0100)

No differences found