diff options
Diffstat (limited to 'src/theory/quantifiers/sygus/synth_conjecture.cpp')
| -rw-r--r-- | src/theory/quantifiers/sygus/synth_conjecture.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/sygus/synth_conjecture.cpp b/src/theory/quantifiers/sygus/synth_conjecture.cpp index 831216445..a0058f2d8 100644 --- a/src/theory/quantifiers/sygus/synth_conjecture.cpp +++ b/src/theory/quantifiers/sygus/synth_conjecture.cpp @@ -178,7 +178,7 @@ void SynthConjecture::assign(Node q) Trace("cegqi") << "Base quantified formula is : " << d_embed_quant << std::endl; // construct base instantiation - d_base_inst = Rewriter::rewrite(d_qe->getInstantiate()->getInstantiation( + d_base_inst = Rewriter::rewrite(d_qim.getInstantiate()->getInstantiation( d_embed_quant, vars, d_candidates)); if (!d_embedSideCondition.isNull()) { |