Skip to content

Fix coq-lint.sh on macOS

Tej Chajedrequested 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