diff options
| author | Thomas Bauereiss | 2017-10-19 15:39:43 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-10-19 16:00:55 +0100 |
| commit | 40a5395c1be351cb8abccb3ccc6fc4399d2d0e70 (patch) | |
| tree | 33a439d4bed42d707d6e3fa5042f637d7410d0a6 /src/lexer2.mll | |
| parent | faa725a8f0211ca7bc7aeb48f41dbf93380324ff (diff) | |
Fix pretty-printing of type abbreviation definitions with arguments
Diffstat (limited to 'src/lexer2.mll')
0 files changed, 0 insertions, 0 deletions