diff options
| -rw-r--r-- | src/theory/quantifiers/sygus/sygus_unif_io.cpp | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/theory/quantifiers/sygus/sygus_unif_io.cpp b/src/theory/quantifiers/sygus/sygus_unif_io.cpp index 3917ffa26..127cf005d 100644 --- a/src/theory/quantifiers/sygus/sygus_unif_io.cpp +++ b/src/theory/quantifiers/sygus/sygus_unif_io.cpp @@ -537,7 +537,6 @@ void SygusUnifIo::notifyEnumeration(Node e, Node v, std::vector<Node>& lemmas) if( sres.isNull() ) { // fall back on rewriter - TNode tres = res; sres = templ.substitute(templ_var,tres); sres = Rewriter::rewrite(sres); } |