make tests green again

This commit is contained in:
Andreas Rumpf 2017-10-01 07:46:13 +02:00
commit 68c7da227f
2 changed files with 13 additions and 13 deletions