diff options
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; |