Skip to content
New issue

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

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

Already on GitHub? # to your account

Fix operand in fat pointer comparison #3297

Merged
merged 1 commit into from
Jun 27, 2024
Merged

Conversation

pi314mm
Copy link
Contributor

@pi314mm pi314mm commented Jun 27, 2024

Fixing a typo that causes potential issues in compilation.

By submitting this pull request, I confirm that my contribution is made under the terms of the Apache 2.0 and MIT licenses.

@pi314mm pi314mm requested a review from a team as a code owner June 27, 2024 17:02
@github-actions github-actions bot added the Z-BenchCI Tag a PR to run benchmark CI label Jun 27, 2024
@adpaco-aws adpaco-aws changed the title fixing bad typo Fix operand in fat pointer comparison Jun 27, 2024
@adpaco-aws adpaco-aws merged commit c8746e2 into model-checking:main Jun 27, 2024
25 checks passed
@pi314mm pi314mm deleted the typo branch June 27, 2024 17:54
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
Z-BenchCI Tag a PR to run benchmark CI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants