diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-09-24 00:11:24 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-24 05:11:24 +0000 |
| commit | 7179be03b049d3046140316c4c5987efbdbd09b8 (patch) | |
| tree | 194f889c2b8cb6c02fcd244818add0c365de96d9 /cmake | |
| parent | 421803a044faf8f17ebf6d44f94adbdfdbded4a6 (diff) | |
Eliminate calls to Rewriter::rewrite from strings entailment checks (#7203)
There are a few further circular references that prevent us from not passing Rewriter to the strings TheoryRewriter constructor, this can be cleaned in future PRs.
Diffstat (limited to 'cmake')
0 files changed, 0 insertions, 0 deletions