Small code style improvement.

This commit is contained in:
Martin Edenhofer 2012-10-05 08:42:49 +02:00
parent aca7a62cef
commit 808ac9b942