diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-12-16 08:10:47 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-16 08:10:47 -0600 |
| commit | 5d2daf534a6b23dc31c359e38e0b93a2fe907ed4 (patch) | |
| tree | 3b9b587fb8d500784f635af4f532ec0c747ef098 /src/theory/strings/theory_strings.h | |
| parent | 577d4b6bde6c31bd77254de9355666f6b698cc45 (diff) | |
| parent | 4a7c0c73f69aabb20be4c79c47047ce23d3358b0 (diff) | |
Merge branch 'master' into deleteInvalidMkConstdeleteInvalidMkConst
Diffstat (limited to 'src/theory/strings/theory_strings.h')
| -rw-r--r-- | src/theory/strings/theory_strings.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/strings/theory_strings.h b/src/theory/strings/theory_strings.h index 21db7da0c..dd15e08ec 100644 --- a/src/theory/strings/theory_strings.h +++ b/src/theory/strings/theory_strings.h @@ -259,7 +259,7 @@ class TheoryStrings : public Theory { /** The theory rewriter for this theory. */ StringsRewriter d_rewriter; /** The eager solver */ - EagerSolver d_eagerSolver; + std::unique_ptr<EagerSolver> d_eagerSolver; /** The extended theory callback */ StringsExtfCallback d_extTheoryCb; /** The (custom) output channel of the theory of strings */ |