]> Savannah Git Hosting - gnulib.git/commit
dfa: omit unused local
authorPaul Eggert <eggert@cs.ucla.edu>
Tue, 10 Jan 2017 00:30:41 +0000 (16:30 -0800)
committerPaul Eggert <eggert@cs.ucla.edu>
Tue, 10 Jan 2017 00:31:02 +0000 (16:31 -0800)
commit8d3c4933ccfae50a15bcb088161bfd33adcdbf6d
tree85dc456ec230a4567a34fcab685726b746997e8a
parente89646ad6f767a475ac83b31ffc00ba17372964c
dfa: omit unused local

* lib/dfa.c (build_state): Fix up recent change.
ChangeLog
lib/dfa.c