Closed andreasbuhr closed 1 month ago
Fixes https://github.com/antlr/antlr4/issues/4511
Could this get merged? It's a trivial fix that is obviously correct. @parrt Any comments would be very much appreciated :-)
thanks!
Fixes https://github.com/antlr/antlr4/issues/4511