diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-11-23 10:23:00 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-11-23 10:23:00 -0600 |
| commit | 5aa585b74682a7e92a188548ce582eeb1212e42b (patch) | |
| tree | 5376b26f086474910ed70632b4a71dc6a32194d5 /src/smt | |
| parent | e11af4be0f3d1dee41aefa91d856de9035cb3a29 (diff) | |
(proof-new) Miscellaneous changes from proof-new (#5445)
Diffstat (limited to 'src/smt')
| -rw-r--r-- | src/smt/preprocessor.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/smt/preprocessor.cpp b/src/smt/preprocessor.cpp index 98a2a7a36..5a1ce63a4 100644 --- a/src/smt/preprocessor.cpp +++ b/src/smt/preprocessor.cpp @@ -158,6 +158,7 @@ void Preprocessor::setProofGenerator(PreprocessProofGenerator* pppg) { Assert(pppg != nullptr); d_pnm = pppg->getManager(); + d_propagator.setProof(d_pnm, d_context, pppg); d_rtf.setProofNodeManager(d_pnm); } |