diff options
| author | Maxime Dénès | 2020-03-30 11:04:20 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2020-03-30 11:04:20 +0200 |
| commit | 454dfac256f43bf82a76eeaafb3ba8443db97d03 (patch) | |
| tree | 940e1b711a9f386362a0c20be7b1b46f5f9d2287 /kernel/nativelambda.ml | |
| parent | 668b3fbcf3387d6d3b450a4793695d0804685b05 (diff) | |
| parent | b99e95486d3f66c29cc831eb57c018c32b7479f5 (diff) | |
Merge PR #11018: “auto with zarith”: use “lia” rather than “omega”
Ack-by: Zimmi48
Reviewed-by: anton-trunov
Ack-by: jfehrle
Reviewed-by: maximedenes
Diffstat (limited to 'kernel/nativelambda.ml')
0 files changed, 0 insertions, 0 deletions