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