Fixing bug identified by https://github.com/antlr/antlr4/discussions/…#3726

Merged

parrt merged 1 commit intoantlr:devfrom

parrt:fix-hashtables

Jun 3, 2022

Commits on May 27, 2022

Fixing bug identified by https://github.com/antlr/antlr4/discussions/3712
parrt
committed