From 942b1c357a2a635bedcda8e01ce4f934c8a5a2e9 Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Tue, 14 Dec 2021 12:02:37 -0800 Subject: Add switches to toggle eager and inclusion solvers (#7784) --- src/theory/strings/theory_strings.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/theory/strings/theory_strings.h') 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 d_eagerSolver; /** The extended theory callback */ StringsExtfCallback d_extTheoryCb; /** The (custom) output channel of the theory of strings */ -- cgit v1.2.3