Skip to content

Conversation

@steinybot
Copy link
Contributor

Fixes #253

@parrt
Copy link
Member

parrt commented Apr 19, 2020

@parrt parrt added the type:bug label Apr 19, 2020
Co-Authored-By: Adrian Kunz <[email protected]>
@parrt parrt merged commit d181235 into antlr:master Apr 21, 2020
@parrt
Copy link
Member

parrt commented Apr 21, 2020

Thanks!

@steinybot steinybot deleted the fix/npe branch April 21, 2020 21:27
@steinybot steinybot mentioned this pull request Jun 22, 2020
@parrt parrt added this to the 4.3.1 milestone Jun 23, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

NullPointerException in ErrorManager.compileTimeError

3 participants