diff options
author | 2012-04-27 07:35:59 -0400 | |
---|---|---|
committer | 2012-04-27 07:35:59 -0400 | |
commit | 0e6213b7c363e1624c35921629c338dfee215353 (patch) | |
tree | 9419cd55c53f38da8c5958df4e698a3e10962a05 /src/monoize.sml | |
parent | 56de35fede259cc08e14e6818b407d0fc2096436 (diff) |
Omit unnecessary parens around arrows in pretty-printing
Diffstat (limited to 'src/monoize.sml')
0 files changed, 0 insertions, 0 deletions