tree 3712531c45380022767f503b351bacb040ff63d1
parent 2da2cd14bc6d98d44d54c0aafd146f0d42147141
author Paul Wankadia <junyer@google.com> 1544724636 -0800
committer Paul Wankadia <junyer@google.com> 1544724709 +0000

Fix a bug in the DFA destructor.

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