diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-04-27 07:35:59 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-04-27 07:35:59 -0400 |
| commit | 0e6213b7c363e1624c35921629c338dfee215353 (patch) | |
| tree | 9419cd55c53f38da8c5958df4e698a3e10962a05 /tests/headDyn.ur | |
| parent | 56de35fede259cc08e14e6818b407d0fc2096436 (diff) | |
Omit unnecessary parens around arrows in pretty-printing
Diffstat (limited to 'tests/headDyn.ur')
0 files changed, 0 insertions, 0 deletions