Skip to content
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.

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

Fix the issue regarding get_num_outer_preds in WeakPartialOrdering.h #7

Closed
wants to merge 9 commits into from
Closed

Conversation

skkeem
Copy link
Contributor

@skkeem skkeem commented Dec 17, 2019

This fixes the issue raised by @ssj933.

@facebook-github-bot facebook-github-bot added the CLA Signed Do not delete this pull request or issue due to inactivity. label Dec 17, 2019
Copy link

@facebook-github-bot facebook-github-bot left a comment

Choose a reason for hiding this comment

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

@ssj933 has imported this pull request. If you are a Facebook employee, you can view this diff on Phabricator.

@ssj933
Copy link
Contributor

ssj933 commented Dec 18, 2019

Thanks for the quick fix! Tested locally this should fix the issue I am seeing!

facebook-github-bot pushed a commit to facebook/redex that referenced this pull request Dec 18, 2019
)

Summary:
This fixes the issue raised by ssj933.
Pull Request resolved: facebook/SPARTA#7

Reviewed By: int3

Differential Revision: D19152253

Pulled By: ssj933

fbshipit-source-id: b938522fc178a393b5f74ec6b5934bd5e713f128
facebook-github-bot pushed a commit to facebook/redex that referenced this pull request Dec 18, 2019
)

Summary:
This fixes the issue raised by ssj933.
Pull Request resolved: facebook/SPARTA#7

Reviewed By: int3

Differential Revision: D19152253

Pulled By: ssj933

fbshipit-source-id: b938522fc178a393b5f74ec6b5934bd5e713f128
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
CLA Signed Do not delete this pull request or issue due to inactivity.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants