diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-05-27 20:28:20 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-05-27 20:28:20 -0700 |
commit | 972dcfafe5eeb10b7b45892d1291000e73746c76 (patch) | |
tree | 114c1210c913a7d6dd4ece1bcca700d0f1ac1f53 /src/options | |
parent | a1624b7f5b7809329845f4a31e7b6a0e86ebc9d3 (diff) |
`STRINGS_CTN_DECOMPOSE`: Avoid multiple conflicts (#6632)
Fixes #5508. `STRINGS_CTN_DECOMPOSE` could be triggered multiple times
by the same term, which resulted in an assertion failure. This commit
returns immediately after the first conflict to avoid the assertion
failure.
Diffstat (limited to 'src/options')
0 files changed, 0 insertions, 0 deletions