diff options
| author | Vincent Laporte | 2019-10-28 12:51:30 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-11-25 08:40:38 +0000 |
| commit | 791ea687b5bbcca4cfc3dc53a57a3ff10037229e (patch) | |
| tree | af28798952a30248e2df058c646b12ce4ada2f1d /kernel/type_errors.mli | |
| parent | 9210c5da6b1057194fd73acd5b26ece57dcfa477 (diff) | |
PermutEq: use “lia” rather than “omega”
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions