diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2018-06-11 21:08:19 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2018-06-11 21:08:19 -0500 |
| commit | ef133e0f8e0a833f321a1b8d9684bc00ef4498ee (patch) | |
| tree | e8ca6f858aad33c0ae779e66f1652f4d4bf2f664 | |
| parent | 6d3f13fe351cf22bb3fbf10b8819a473e91f4d0d (diff) | |
Minor
| -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); } |