I was surprised to find this dead code in dfa.c.
This removes it: