diff options
| author | Hugo Herbelin | 2016-04-09 16:14:29 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-04-09 18:26:00 +0200 |
| commit | b5cc4ac65764b0866bf57caa6f9aa7fa631eabf1 (patch) | |
| tree | 8e562ed97d1f20419e1569b52a357611314f60af /kernel | |
| parent | ce71ac17268f11ddd92f4bea85cbdd9c62acbc21 (diff) | |
Fixing extra space in printing inductive types with no explicit type given.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions