| commit | 88c1209b702f5bc8d6822f0bd4d29db6157271cb | [log] [tgz] |
|---|---|---|
| author | Paul Wankadia <junyer@google.com> | Mon Feb 22 21:35:20 2016 +1100 |
| committer | Paul Wankadia <junyer@google.com> | Mon Feb 22 10:38:22 2016 +0000 |
| tree | 61fc2e600a27397c9ca9ae03c3020e87f85552bf | |
| parent | 72276a1197043d4359863463fa59fd701d732ae0 [diff] |
Tidy up DFA deletion while fixing an error from MSVC. Fixes #79. Change-Id: I7d3f7d9b9825e3bcb84bcb1d0f58ba29650026d1 Reviewed-on: https://code-review.googlesource.com/4234 Reviewed-by: Paul Wankadia <junyer@google.com>