New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix for breakage on Coq dev issue #7

Merged

k4rtik merged 2 commits into master from coq-dev-fix

Nov 1, 2021

Member

k4rtik commented Nov 1, 2021

See: #5 (comment)


          Fix for breakage on Coq dev issue

f8699b0

Member

Zimmi48 commented Nov 1, 2021

There are several uses of ?= in this file, I think all of them will require this change.


          Replace all occurences of ?= with explicit compare, not just one

d4e07c2

k4rtik merged commit 7f1f019 into master

k4rtik deleted the coq-dev-fix branch

November 1, 2021 17:12

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet