Bug fix in dfa_delete.
authorAdam Dickmeiss <adam@indexdata.dk>
Mon, 2 Oct 1995 15:17:58 +0000 (15:17 +0000)
committerAdam Dickmeiss <adam@indexdata.dk>
Mon, 2 Oct 1995 15:17:58 +0000 (15:17 +0000)
commit5093e193a23c52b4a0f28eae09c3195cfe019fe1
treec63e878c5fb29e5d83cac5f35ae15422b330708e
parenta5cc2761cdf3455ceb49b73bf3d0933adf3e1451
Bug fix in dfa_delete.
dfa/dfa.c