diff options
author | JSDurand <mmemmew@gmail.com> | 2023-07-21 16:20:00 +0800 |
---|---|---|
committer | JSDurand <mmemmew@gmail.com> | 2023-07-21 16:20:00 +0800 |
commit | 659c2195d2c224122cc8da813bec3af46084b61b (patch) | |
tree | 4d7fa4653ccf82521bbfadf0fab1fc914c24ab4d /graph/src | |
parent | 1f010ad1aad8202828ab437ecaf1a635adda3c3f (diff) |
regex: Merge the `types` array as well.
* nfa/src/default/regex.rs: Previously when merging regular
expressoins, only the graphs are merged, but the `types` array
stayed unchanged. This caused errors of indices being out of
bounds.
Diffstat (limited to 'graph/src')
0 files changed, 0 insertions, 0 deletions