Skip to content

Avoid using Min and Max, deprecated in v8.16

Tej Chajed requested to merge tchajed/iris:avoid-deprecated-arith into master

Avoid some deprecation warnings in Coq v8.16. Followup to stdpp!346 (merged).

Merge request reports