Fix indentation

Remove tab and add spaces, which is how the rest of the file deals with this.
Avoid a misaligned preview in github editor.
This commit is contained in:
Paulo Matos 2018-04-25 12:37:49 +02:00 committed by Matthew Flatt
parent 0b71883833
commit d6fe30156c