Skip to content

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-EndToEndBenchCI 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
@pi314mm pi314mm deleted the typo branch June 27, 2024 17:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Z-EndToEndBenchCI Tag a PR to run benchmark CI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants