team-worthwhile/worthwhile — comment on commit 9d749d04213f0483d7feb5be3a31fa416b02082b
File: implementierung/src/worthwhile.common.tests/src/edu/kit/iti/formal/pse/worthwhile/common/tests/WorthwhileTypesystemTest.java line 8
By bafain:

Fixed since 6c961043b52251b63fb342d14c9cc86a57a028db