diff options
| author | Pierre-Marie Pédrot | 2020-02-11 10:36:05 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2020-02-11 10:36:05 +0100 |
| commit | 4c6c173447d5b7d04aa0fd4f51d27a078c675708 (patch) | |
| tree | 726a25f3b26e9b13ec846c66a9fbc32be416b6e5 /kernel/nativecode.ml | |
| parent | ec3d9ae1210e57271142ae91585b520c2978a4e9 (diff) | |
| parent | 771ec30a33cd528d40cfe7fa63f40a42e3042284 (diff) | |
Merge PR #11554: Fix #11553: magicaly_constant_of_fixbody checks existence of made up constant
Reviewed-by: ppedrot
Diffstat (limited to 'kernel/nativecode.ml')
0 files changed, 0 insertions, 0 deletions