diff options
Diffstat (limited to 'src/printer/sygus_print_callback.cpp')
| -rw-r--r-- | src/printer/sygus_print_callback.cpp | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/printer/sygus_print_callback.cpp b/src/printer/sygus_print_callback.cpp index ae1d97c64..92a89a18e 100644 --- a/src/printer/sygus_print_callback.cpp +++ b/src/printer/sygus_print_callback.cpp @@ -78,8 +78,9 @@ void SygusExprPrintCallback::toStreamSygus(const Printer* p, sbody = sbody.substitute(vars.begin(), vars.end(), subs.begin(), subs.end()); + // print to stream without letification std::stringstream body_out; - body_out << sbody; + p->toStream(body_out, sbody, -1, false, 0); // do string substitution Assert(e.getNumChildren() == d_args.size()); |