diff options
| author | Maxime Dénès | 2018-12-21 15:11:52 +0100 |
|---|---|---|
| committer | Maxime Dénès | 2019-01-09 11:18:31 +0100 |
| commit | 36500daa3efb746d3b19f288741c46b09b6d2632 (patch) | |
| tree | 9112268f8f8049aab9df131e6130c804ff0d801f /kernel/type_errors.ml | |
| parent | 62ece342f56380e54ecfe2b403159e9b115a8406 (diff) | |
Make some tests more robust by adding missing proof terminators
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions