| commit | fadc34500b67414df452c54d980372242f3d7f57 | [log] [tgz] |
|---|---|---|
| author | Paul Wankadia <[email protected]> | Thu Dec 13 10:10:36 2018 -0800 |
| committer | Paul Wankadia <[email protected]> | Thu Dec 13 18:11:49 2018 +0000 |
| tree | 3712531c45380022767f503b351bacb040ff63d1 | |
| parent | 2da2cd14bc6d98d44d54c0aafd146f0d42147141 [diff] |
Fix a bug in the DFA destructor. Change-Id: I6ab0bef2223b6b9b64db0fd6cb1178ef4d9cf8d7 Reviewed-on: https://code-review.googlesource.com/c/36390 Reviewed-by: Paul Wankadia <[email protected]>