make indentation match other files

(Actually by Matthew, but setting Claire as the author so
that it will be easier to see via `git blame` in the future
if I mangle Claire's code.)
This commit is contained in:
Claire Alvis 2014-04-16 10:01:12 -06:00 committed by Matthew Flatt
parent 9a017a789f
commit a6ea577869

File diff suppressed because it is too large Load Diff