diff options
| author |  Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-29 00:24:13 +0200 |
|---|---|---|
| committer | Matthieu Sozeau <matthieu.sozeau@inria.fr> | 2014-09-29 00:24:13 +0200 |
| commit | 791a0c87624c394bd2c4dcb37a73bd04aafa5e98 (patch) | |
| tree | 79f69b548488a61f88daecb342a80e4abe251bdb /test-suite/bugs/closed/HoTT_coq_058.v | |
| parent | 6e22ae3f21ae32f298b6e3463448f59a5c7d1f76 (diff) | |
Fix printing of primitive record info.
Diffstat (limited to 'test-suite/bugs/closed/HoTT_coq_058.v')
0 files changed, 0 insertions, 0 deletions