diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-09-09 11:37:49 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-09 18:37:49 +0000 |
| commit | e5aaebbbc5ea11b0cb3468169e5c80bf38868c82 (patch) | |
| tree | b422de3845c5c316b174d0ebff4835d0dad75f0d /src/theory/quantifiers/sygus/sygus_pbe.cpp | |
| parent | 08d770f84c3959c076cc693de9e251e910e508a7 (diff) | |
Remove `TheoryState::getEnv()` (#7163)
Diffstat (limited to 'src/theory/quantifiers/sygus/sygus_pbe.cpp')
| -rw-r--r-- | src/theory/quantifiers/sygus/sygus_pbe.cpp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/theory/quantifiers/sygus/sygus_pbe.cpp b/src/theory/quantifiers/sygus/sygus_pbe.cpp index 52bca1586..453ac5c18 100644 --- a/src/theory/quantifiers/sygus/sygus_pbe.cpp +++ b/src/theory/quantifiers/sygus/sygus_pbe.cpp @@ -30,11 +30,12 @@ namespace cvc5 { namespace theory { namespace quantifiers { -SygusPbe::SygusPbe(QuantifiersState& qs, +SygusPbe::SygusPbe(Env& env, + QuantifiersState& qs, QuantifiersInferenceManager& qim, TermDbSygus* tds, SynthConjecture* p) - : SygusModule(qs, qim, tds, p) + : SygusModule(env, qs, qim, tds, p) { d_true = NodeManager::currentNM()->mkConst(true); d_false = NodeManager::currentNM()->mkConst(false); |