Skip to content

Use lia to avoid omega deprecation warnings

Tej Chajed requested to merge tchajed/iris-coq:use-lia into master

Fixes #319 (closed)

Edited by Tej Chajed

Merge request reports