diff options
author | Gereon Kremer <nafur42@gmail.com> | 2021-08-04 11:35:41 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-08-04 18:35:41 +0000 |
commit | cc9155e74a4c7fbbf66f736e0d6f67499329ba69 (patch) | |
tree | 7285753f9645683bc5190856bf61f250a9f62225 /src/printer/smt2/smt2_printer.cpp | |
parent | 3f2e127061ee03db1ba8ff56d9dfb42fbe9d60b1 (diff) |
Refactor managed streams (#6934)
This PR introduces a new ManagedStream class that replaces the previous ManagedOstream. It allows to directly store the (wrapped) stream objects in the options. Handling the stream options is moved from the options manager to option predicates and the different options for input and output streams are combined into a single one.
Some associated utilities (open_ostream.h and update_ostream.h) are now obsolete and thus removed.
Diffstat (limited to 'src/printer/smt2/smt2_printer.cpp')
-rw-r--r-- | src/printer/smt2/smt2_printer.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/printer/smt2/smt2_printer.cpp b/src/printer/smt2/smt2_printer.cpp index c51d00b5d..c319e20e6 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -648,7 +648,7 @@ void Smt2Printer::toStream(std::ostream& out, const IndexedRootPredicate& irp = n.getConst<IndexedRootPredicate>(); out << "(_ root_predicate " << irp.d_index << ")"; break; - } + } // string theory case kind::REGEXP_REPEAT: |