diff options
| author | Pierre-Marie Pédrot | 2020-02-13 10:44:55 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-02-13 10:44:55 +0100 |
| commit | 9510d6f42aadc6435e2e444dcab9a9d3cffddc36 (patch) | |
| tree | 7bc82c0f9462bd802e526fb231ea1e7485890d4e /engine | |
| parent | 36a93a58446d487a136d999649d66ca7d4b09f70 (diff) | |
| parent | d81375002501cdc6e677244557a87b2f1a445e5b (diff) | |
Merge PR #11424: Check instance length in type_of_{inductive,constructor}
Reviewed-by: ppedrot
Diffstat (limited to 'engine')
0 files changed, 0 insertions, 0 deletions