bug#16581: suggested code simplification in dfa.c

[Paul Eggert]

This particular issue seems to have been put to bed in the savannah git 
master so I'm marking it as done.