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 /semiring | |
| 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 'semiring')
0 files changed, 0 insertions, 0 deletions