diff options
author | 2016-07-18 23:40:43 +0200 | |
---|---|---|
committer | 2016-07-19 11:45:35 +0200 | |
commit | b3e7ef09210267e6d34bc1ac377e66c7fec7e739 (patch) | |
tree | e97d704efb1246bbf076a7b5678457f4ec4e0895 /test-suite/modules | |
parent | 692e33acd9a44d5c00fe515bd9b87728d2c872a7 (diff) |
Fixing missing parentheses in printing of patterns in binders.
(In agreement with Daniel.)
Diffstat (limited to 'test-suite/modules')
0 files changed, 0 insertions, 0 deletions