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 some typos and unclear messages #39

Merged
merged 3 commits into from
Nov 21, 2023

Conversation

AustinT
Copy link
Collaborator

@AustinT AustinT commented Nov 21, 2023

First fix: error message for converting an AND/OR graph to a synthesis route would say there was more than one node if in fact there were zero nodes.

Second fix: reaction string in conftest.py. This was also fixed in #34, but since I am not merging that I decided to fix it here.

@AustinT AustinT changed the title Fix two typos. Fix some typos and unclear messages Nov 21, 2023
@AustinT AustinT marked this pull request as ready for review November 21, 2023 10:52
@AustinT AustinT requested a review from kmaziarz November 21, 2023 10:52
Copy link
Contributor

@kmaziarz kmaziarz left a comment

Choose a reason for hiding this comment

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

LGTM.

@AustinT AustinT merged commit 6106c22 into microsoft:main Nov 21, 2023
3 checks passed
@AustinT AustinT deleted the nov21-small-string-fixes branch November 21, 2023 13:17
kmaziarz pushed a commit that referenced this pull request Nov 21, 2023
First fix: error message for converting an AND/OR graph to a synthesis
route would say there was more than one node if in fact there were zero
nodes.

Second fix: reaction string in `conftest.py`. This was also fixed in
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