Skip to content

[C++] Remove now unused antlrcpp::Guid#3531

Merged
parrt merged 1 commit into
antlr:masterfrom
jcking:cpp-guid-delete
Feb 7, 2022
Merged

[C++] Remove now unused antlrcpp::Guid#3531
parrt merged 1 commit into
antlr:masterfrom
jcking:cpp-guid-delete

Conversation

@jcking

@jcking jcking commented Feb 7, 2022

Copy link
Copy Markdown
Collaborator

antlrcpp::Guid use was removed recently after the serialized ATN changes. We can now remove antlrcpp::Guid.

@jcking

jcking commented Feb 7, 2022

Copy link
Copy Markdown
Collaborator Author

@mike-lischke

@mike-lischke mike-lischke left a comment

Copy link
Copy Markdown
Member

Choose a reason for hiding this comment

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

@parrt This patch can be merged.

@parrt parrt added this to the 4.10 milestone Feb 7, 2022
@parrt parrt merged commit ea98374 into antlr:master Feb 7, 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.

3 participants