Skip to content

Conversation

@hzeller
Copy link
Contributor

@hzeller hzeller commented Mar 9, 2025

Some more missing standard headers to directly included where a symbol from them is ued.

One commit per header for easier review.

@hzeller
Copy link
Contributor Author

hzeller commented Mar 10, 2025

fyi @parrt

@parrt parrt merged commit 5435f14 into antlr:dev Mar 10, 2025
42 checks passed
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