diff options
| author | Emilio Jesus Gallego Arias | 2020-02-21 16:24:41 -0500 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-02-21 16:24:41 -0500 |
| commit | 6aa5057f98c0196a5897ca82699125a5a16bf22b (patch) | |
| tree | 4acbaa40e0ea45faef61b0b26bed590a3980fbd9 /kernel/genOpcodeFiles.ml | |
| parent | c45b7e41a1caa4d5ec4785c2bf323bdd11ad8d2e (diff) | |
| parent | fc9fa470c35f3716d0d49af182f02925b060286d (diff) | |
Merge PR #11642: Unconditionally print explanation for universe inconsistencies
Reviewed-by: ejgallego
Diffstat (limited to 'kernel/genOpcodeFiles.ml')
0 files changed, 0 insertions, 0 deletions