diff options
Diffstat (limited to 'src/smt/smt_engine.cpp')
| -rw-r--r-- | src/smt/smt_engine.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp index 2e1716543..03d9409be 100644 --- a/src/smt/smt_engine.cpp +++ b/src/smt/smt_engine.cpp @@ -802,6 +802,7 @@ SmtEngine::SmtEngine(ExprManager* em) d_theoryEngine(nullptr), d_propEngine(nullptr), d_proofManager(nullptr), + d_rewriter(new theory::Rewriter()), d_definedFunctions(nullptr), d_fmfRecFunctionsDefined(nullptr), d_assertionList(nullptr), |