diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2021-09-07 13:33:21 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-07 13:33:21 -0700 |
| commit | 3165ae2b10a8ae7a2172f06ffd1ba95468621e0d (patch) | |
| tree | 8ba0ca844cfccf2b310e0b63d682ed0aa3647c2f /src/theory/quantifiers/sygus/sygus_pbe.cpp | |
| parent | 7d43723af0a017ca5f958abd7d619a09c9c1f576 (diff) | |
| parent | 01cde22b7d69c1b1037cf1d536ca62becc3bd865 (diff) | |
Merge branch 'master' into theoryElimContexttheoryElimContext
Diffstat (limited to 'src/theory/quantifiers/sygus/sygus_pbe.cpp')
| -rw-r--r-- | src/theory/quantifiers/sygus/sygus_pbe.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/sygus/sygus_pbe.cpp b/src/theory/quantifiers/sygus/sygus_pbe.cpp index 26621eb96..7601e2117 100644 --- a/src/theory/quantifiers/sygus/sygus_pbe.cpp +++ b/src/theory/quantifiers/sygus/sygus_pbe.cpp @@ -71,7 +71,7 @@ bool SygusPbe::initialize(Node conj, for (const Node& c : candidates) { Assert(ei->hasExamples(c)); - d_sygus_unif[c].reset(new SygusUnifIo(d_parent)); + d_sygus_unif[c].reset(new SygusUnifIo(d_env, d_parent)); Trace("sygus-pbe") << "Initialize unif utility for " << c << "..." << std::endl; std::map<Node, std::vector<Node>> strategy_lemmas; |