-
Robbert Krebbers authored
This fix removes superflous white space in pretty printing. For example ✓{S n} x was pretty printed incorrectly as ✓{(S n)} x.
1fb156c3
This fix removes superflous white space in pretty printing. For example ✓{S n} x was pretty printed incorrectly as ✓{(S n)} x.