bug#22260: tinycc complaint about dfa.c

[Paul Eggert]

Paul Eggert wrote:
Aharon Robbins wrote:
Should I commit this fix?

Yes, please.

Never mind; I installed it, as we want to release a new bugfix version soon. 
Closing the bug.