Skip to content

Fix coq-lint.sh on macOS

Tej Chajed requested to merge tchajed/stdpp:fix-coq-lint-macos into master

Fixes the build on macOS. Once this is merged I'll make the same fix to Iris.

Edited by Tej Chajed

Merge request reports