Skip to content

GitLab

Fix coq-lint.sh on macOS

Merged 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