tree af7bb932da3e462b221bc0b15f0531795bb2230a
parent 62f945272dd9c4d8c8febb13b38fb7c5c331c1f4
author Oliver Sander <oliver.sander@tu-dresden.de> 1556220424 +0200
committer Oliver Sander <oliver.sander@tu-dresden.de> 1556220424 +0200

Fix a typo in an error message