Skip to content

[breaking] remove fallback for supporting free variables #1493

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
Merged
merged 1 commit into from
Jul 26, 2021
Merged

[breaking] remove fallback for supporting free variables #1493

merged 1 commit into from
Jul 26, 2021

Conversation

odow
Copy link
Member

@odow odow commented Jul 26, 2021

Introduced by #1004, which seems far enough ago to remove. We don't want it in 1.0 anyway.

@odow odow added the breaking label Jul 26, 2021
@odow odow requested a review from blegat July 26, 2021 05:15
blegat
blegat approved these changes Jul 26, 2021
View reviewed changes
Copy link
Member

@blegat blegat left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks! I forgot this should be done for MOI v0.10 but it should definitely be done!

@odow odow merged commit 1ca4514 into master Jul 26, 2021
@odow odow deleted the od/rm-supports_constraint_Reals branch July 26, 2021 09:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@blegat blegat blegat approved these changes

Assignees
No one assigned
Labels
breaking
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@odow @blegat