diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2021-10-01 16:47:02 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-10-01 21:47:02 +0000 |
| commit | 6405f082a85e2a2ce7e25ff1f8b058f3f42fd58b (patch) | |
| tree | a54e2fdbc4b975cd0dced9b10f8d8477fcaab59a /src/prop | |
| parent | 8210a5ebefd4cc0779d7968e891db5bc63dba545 (diff) | |
Update theory preprocessor to use Env (#7288)
In preparation for making the "lemma context" configurable.
Diffstat (limited to 'src/prop')
| -rw-r--r-- | src/prop/theory_proxy.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/prop/theory_proxy.cpp b/src/prop/theory_proxy.cpp index c18fe2dd4..5b283635d 100644 --- a/src/prop/theory_proxy.cpp +++ b/src/prop/theory_proxy.cpp @@ -43,7 +43,7 @@ TheoryProxy::TheoryProxy(PropEngine* propEngine, d_decisionEngine(decisionEngine), d_theoryEngine(theoryEngine), d_queue(env.getContext()), - d_tpp(*theoryEngine, env.getUserContext(), env.getProofNodeManager()), + d_tpp(env, *theoryEngine), d_skdm(skdm), d_env(env) { |