Skip to content

Conversation

jcking
Copy link
Collaborator

@jcking jcking commented Apr 8, 2022

No description provided.

@jcking jcking force-pushed the cpp-dynamiccast branch from 3c08338 to 080d37a Compare April 8, 2022 20:22
@jcking jcking force-pushed the cpp-dynamiccast branch from 080d37a to d0c6f55 Compare April 8, 2022 20:25
@jcking
Copy link
Collaborator Author

jcking commented Apr 8, 2022

@parrt This is good as well. Last minute removal of more dynamic cast.

@parrt parrt added this to the 4.10 milestone Apr 8, 2022
@parrt parrt merged commit 9e4037b into antlr:dev Apr 9, 2022
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.

2 participants