diff options
Diffstat (limited to 'src/printer')
-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: |