diff options
| author | SimonBoulier | 2020-03-17 10:20:50 +0100 |
|---|---|---|
| committer | SimonBoulier | 2020-03-17 10:20:50 +0100 |
| commit | b62a6df9907169f47a72ee78ebe088c68932dd93 (patch) | |
| tree | 495b17631e54a868d4313c2d235d021dfe97e71a /kernel/indtypes.ml | |
| parent | a35e7f9143c8b1c3928978e3b8edc5b326e1f854 (diff) | |
Add test for PR11811 (disable a positivity check)
Diffstat (limited to 'kernel/indtypes.ml')
0 files changed, 0 insertions, 0 deletions