diff options
| author | Gaëtan Gilbert | 2018-10-31 14:29:39 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-10-31 14:30:24 +0100 |
| commit | a6c1292b72cebf3d34a0e6a2da256e83e346dacc (patch) | |
| tree | 0b56fcd9f289bfbf6f56a088866f62aaeafd27ff /kernel | |
| parent | 86971b6280a660e1db3e7567aa104f5f7eec9e8c (diff) | |
Fix #8881: validate fails to use inductive equivalence in case_info
See also 55dbe8e2fa7ed2053ecd54140f6bcbdf31981e0b
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions