diff options
| author | Maxime Dénès | 2014-01-15 18:24:14 -0500 |
|---|---|---|
| committer | Maxime Dénès | 2014-01-15 18:24:14 -0500 |
| commit | b2454de95c601785cb4a081fc2902cec14b9b266 (patch) | |
| tree | 927e8bc575a533c4e8ad8d1afa8ce77e3ed35175 /kernel/type_errors.mli | |
| parent | 6687b08e2f3d58fd2d9f78bfc72b909d79090423 (diff) | |
Test case containing a proof of false due to a DeBruijn off-by-one error in the
code checking allowed sorts for elimination.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions