bugfix in DagstuhlParser
Merge pull request #3 from DZoom/master

bugfix in DagstuhlParser