tree d4aa0a25a1c7331b56404c76eea1a6cfa971c44e
parent d6508e1f9cef33c43016e4da7dd4b94392f280a9
author Alon Zakai <alonzakai@gmail.com> 1489095123 -0800
committer GitHub <noreply@github.com> 1489095123 -0800

use a single space for pretty printing of wasts, so massive wasts are less unruly (#928)