diff options
Diffstat (limited to 'src/theory/quantifiers/sygus/synth_engine.cpp')
| -rw-r--r-- | src/theory/quantifiers/sygus/synth_engine.cpp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/theory/quantifiers/sygus/synth_engine.cpp b/src/theory/quantifiers/sygus/synth_engine.cpp index f78886249..d13bd2dcf 100644 --- a/src/theory/quantifiers/sygus/synth_engine.cpp +++ b/src/theory/quantifiers/sygus/synth_engine.cpp @@ -35,8 +35,8 @@ namespace quantifiers { SynthEngine::SynthEngine(QuantifiersEngine* qe, context::Context* c) : QuantifiersModule(qe) { - d_conjs.push_back( - std::unique_ptr<SynthConjecture>(new SynthConjecture(d_quantEngine))); + d_conjs.push_back(std::unique_ptr<SynthConjecture>( + new SynthConjecture(d_quantEngine, this))); d_conj = d_conjs.back().get(); } @@ -255,8 +255,8 @@ void SynthEngine::assignConjecture(Node q) // allocate a new synthesis conjecture if not assigned if (d_conjs.back()->isAssigned()) { - d_conjs.push_back( - std::unique_ptr<SynthConjecture>(new SynthConjecture(d_quantEngine))); + d_conjs.push_back(std::unique_ptr<SynthConjecture>( + new SynthConjecture(d_quantEngine, this))); } d_conjs.back()->assign(q); } |