diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-11-01 11:58:57 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-11-01 11:58:57 -0700 |
| commit | 86c541cdf83e0b98def5a479d1da966f2e959408 (patch) | |
| tree | b8171b21b360c421582cdb25dde28641f746730b /.travis.yml | |
| parent | 4874e4f9566b5e536e6c66b559574d2df97e20ec (diff) | |
Fix and refactor TheoryStrings::checkFlatForms() (#3326)
This commit fixes some minor (performance) issues in
`TheoryStrings::checkFlatForms()`: The `inelig` vector was initialized
with copies of the `start` element instead of all the elements before
`start` and the `else` branch of `count == asize` was looping over all
elements from `1` instead of `start + 1`. Additionally, this commit
refactors the code to be a bit more readable.
Diffstat (limited to '.travis.yml')
0 files changed, 0 insertions, 0 deletions