| commit | 79534807a0132d62a258c72088e4fe905867a248 | [log] [tgz] |
|---|---|---|
| author | Paul Wankadia <junyer@google.com> | Tue Jul 06 22:00:53 2021 -0700 |
| committer | Paul Wankadia <junyer@google.com> | Wed Jul 07 05:02:47 2021 +0000 |
| tree | 3fff355c5b07b6eed96bb300f93ac4272f6971dc | |
| parent | cccbf4671c9372c396b1fab168d8c68af0e444fa [diff] |
Tidy up BuildShiftDFA() a bit more. Change-Id: I76cec4413c4d09c8f16352dc1b751bb945ec2c34 Reviewed-on: https://code-review.googlesource.com/c/re2/+/58933 Reviewed-by: Paul Wankadia <junyer@google.com>