diff options
| author | Clément Pit-Claudel | 2019-10-30 17:54:51 -0400 |
|---|---|---|
| committer | Clément Pit-Claudel | 2019-10-30 17:54:51 -0400 |
| commit | 55446694781674f4d4e74546fde54f3dbdea27bc (patch) | |
| tree | 59c3a1d018719308d0268e667f0b05ed5ab2b376 /kernel | |
| parent | 28ea499486dd17076d8f2f4c31d7fdebeacdff8e (diff) | |
| parent | fa822f0762df1c46d8e179afb9b408a927fff149 (diff) | |
Merge PR #10999: [refman] Give an example of contradiction when positivity checking is disabled.
Reviewed-by: cpitclaudel
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions