tree 99779602299341c153418652b8e665b259741ffe
parent aba62f89e67324c2c7d1046752eb7e253d5f6e2f
author Paul Wankadia <junyer@google.com> 1462863664 +1000
committer Paul Wankadia <junyer@google.com> 1462863767 +0000

Get rid of delete_dfa_.

Change-Id: If0fb8c4cc48301b7c6c0a93c0fdbfdd5ce228483
Reviewed-on: https://code-review.googlesource.com/4722
Reviewed-by: Paul Wankadia <junyer@google.com>