diff options
| author | Gaëtan Gilbert | 2020-02-09 11:40:52 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2020-02-09 11:41:53 +0100 |
| commit | 771ec30a33cd528d40cfe7fa63f40a42e3042284 (patch) | |
| tree | 86ee709ede42a715afd1e40d20e47aed62665121 /kernel/inductive.ml | |
| parent | da340c202c3348025942665d45703b5a093d255c (diff) | |
Fix #11553: magicaly_constant_of_fixbody checks existence of made up constant
Diffstat (limited to 'kernel/inductive.ml')
0 files changed, 0 insertions, 0 deletions