diff options
Diffstat (limited to 'src/theory/strings/extf_solver.h')
| -rw-r--r-- | src/theory/strings/extf_solver.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/theory/strings/extf_solver.h b/src/theory/strings/extf_solver.h index f0f0d790b..c5dd24f70 100644 --- a/src/theory/strings/extf_solver.h +++ b/src/theory/strings/extf_solver.h @@ -87,7 +87,7 @@ class ExtfSolver context::UserContext* u, SolverState& s, InferenceManager& im, - SkolemCache& skc, + TermRegistry& tr, StringsRewriter& rewriter, BaseSolver& bs, CoreSolver& cs, @@ -181,8 +181,8 @@ class ExtfSolver SolverState& d_state; /** The (custom) output channel of the theory of strings */ InferenceManager& d_im; - /** cache of all skolems */ - SkolemCache& d_skCache; + /** Reference to the term registry of theory of strings */ + TermRegistry& d_termReg; /** The theory rewriter for this theory. */ StringsRewriter& d_rewriter; /** reference to the base solver, used for certain queries */ |