diff options
Diffstat (limited to 'src/theory/quantifiers/sygus')
| -rw-r--r-- | src/theory/quantifiers/sygus/sygus_process_conj.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/theory/quantifiers/sygus/sygus_process_conj.cpp b/src/theory/quantifiers/sygus/sygus_process_conj.cpp index 66e80523a..1b3844578 100644 --- a/src/theory/quantifiers/sygus/sygus_process_conj.cpp +++ b/src/theory/quantifiers/sygus/sygus_process_conj.cpp @@ -68,7 +68,7 @@ bool SynthConjectureProcessFun::checkMatch( Node cn_subs = cn.substitute(vars.begin(), vars.end(), subs.begin(), subs.end()); cn_subs = Rewriter::rewrite(cn_subs); - Assert(Rewriter::rewrite(n) == n); + n = Rewriter::rewrite(n); return cn_subs == n; } |