diff options
| author | BESSON Frederic | 2021-01-05 10:05:47 +0100 |
|---|---|---|
| committer | BESSON Frederic | 2021-01-06 10:39:07 +0100 |
| commit | ac64cad9e6c0496afc600380d5c21fd1129db400 (patch) | |
| tree | 0e69ed3a9444572a8eed170e331497bcfa3f1cca /kernel/type_errors.ml | |
| parent | 8c7457e18de2fb5be89f22c76ac59541345d1d5c (diff) | |
[micromega] Add missing support for `implb`
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions