diff options
| author | Vincent Laporte | 2019-10-29 16:18:00 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2020-03-24 09:49:07 +0100 |
| commit | b99e95486d3f66c29cc831eb57c018c32b7479f5 (patch) | |
| tree | 13d10f1ba3e3f0aa11ffa50e110dcc23a8576b5f /kernel/nativelambda.ml | |
| parent | d48757f04b1a23e2d47448da843409a7b44bd091 (diff) | |
“auto with zarith”: use “lia” rather than “omega”
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions