make tests green again

This commit is contained in:
Andreas Rumpf 2017-09-30 22:34:54 +02:00
commit e8eb496e6f
2 changed files with 9 additions and 9 deletions