diff options
| author | coqbot-app[bot] | 2020-12-17 10:55:16 +0000 |
|---|---|---|
| committer | GitHub | 2020-12-17 10:55:16 +0000 |
| commit | 8013852eb0957141181110a904aeff7b37a8219d (patch) | |
| tree | 93288a7a60211772737f76c83f6a4a21c2d453b6 /kernel/type_errors.ml | |
| parent | 70ea750aa5d28a04e74e35559fb02b2eed7cb3e3 (diff) | |
| parent | 2ecba80ce61efe7572a99ade8a5b6a39ea33d1a7 (diff) | |
Merge PR #13652: Add a test for change over case nodes.
Reviewed-by: SkySkimmer
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions