[standard-ml/en-en] Small whitespace fix

This commit is contained in:
David Pedersen 2013-12-05 11:51:56 +01:00
parent 972a4bf802
commit f1c96d5db0