Forked from
Iris / Iris
Source project has a limited visibility.
-
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.Robbert Krebbers authoredThis fix removes superflous white space in pretty printing. For example ✓{S n} x was pretty printed incorrectly as ✓{(S n)} x.
