diff options
| author | JSDurand <mmemmew@gmail.com> | 2023-07-19 13:47:28 +0800 |
|---|---|---|
| committer | JSDurand <mmemmew@gmail.com> | 2023-07-19 13:47:28 +0800 |
| commit | 7da8b814d53c389849cfb5a8c9884afcd4215eac (patch) | |
| tree | 5ccf8e58f5290f3c2e343abb62550b94efca62c2 /nfa/src | |
| parent | a9ce21b2ff3de3e063361e17961384ba0fe9d975 (diff) | |
genins: Fix the bug of forgetting to set ending positions.
Previously a virtual fragment did not receive proper ending positions.
This is now fixed.
Additionally, after this fix, the function `set_pos` is only called
with the last parameter set to `t`. Maybe I shall remove this
parameter.
Diffstat (limited to 'nfa/src')
0 files changed, 0 insertions, 0 deletions