Fixed typo.

This commit is contained in:
Martin Edenhofer 2014-10-07 13:56:02 +02:00
parent cbe1f78e42
commit 6fbdd17d2a