Skip to content

Conversation

@andreasbuhr
Copy link
Contributor

Fixes #4511

@dhaumann
Copy link

Could this get merged? It's a trivial fix that is obviously correct. @parrt Any comments would be very much appreciated :-)

@parrt parrt merged commit 6197d6c into antlr:dev May 17, 2024
@parrt
Copy link
Member

parrt commented May 17, 2024

thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Update C++ target doc to say that c++17 is now required

3 participants