Skip to content

Conversation

@ztangent
Copy link
Member

For whatever reason, the test sets for Selection functionality weren't named properly (the test-set names were accidentally placed after the begin keyword, instead of before). This is a small PR to address that.

@ztangent
Copy link
Member Author

@bzinberg lmk if I can just merge this since it doesn't change any functionality.

Copy link
Contributor

@bzinberg bzinberg left a comment

Choose a reason for hiding this comment

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

oh yeah this is clearly a correction

@ztangent ztangent merged commit 93f6fc2 into probcomp:master Sep 25, 2020
@ztangent ztangent deleted the fix-selection-testset-names branch September 25, 2020 14:16
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants