diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-04-22 17:55:33 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-04-22 19:55:33 -0500 |
commit | 855143cfa1e4cf38f67ff99eba5d59e5a2786120 (patch) | |
tree | 4e955b1cd63826fd1f8334f1566e6546dd7363b2 /src/theory/strings/base_solver.h | |
parent | d64143f8aec229a673db1ec7b38d94890134d3f5 (diff) |
Strings: Register skolems before sending lemma (#4381)
This commit fixes a performance regression introduced by commit 6255c03. The issue seems to be that registering terms manually after sending the lemma on the output channel is too late because the output channel processes the lemma eagerly.
Diffstat (limited to 'src/theory/strings/base_solver.h')
0 files changed, 0 insertions, 0 deletions