diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-20 14:17:01 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-21 18:02:13 -0400 |
commit | f99a56440cb20d5771162e7382e238f0705182fe (patch) | |
tree | f2f20916a41d5a6ce48c21836661c76a2a830980 /src/printer | |
parent | 7b8c765e84987ae90226f9f7244492318fa85817 (diff) |
Some minor cleanup and documentation.
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 95f35a5a6..36494e1de 100644 --- a/src/printer/smt2/smt2_printer.cpp +++ b/src/printer/smt2/smt2_printer.cpp @@ -1049,7 +1049,7 @@ static void toStream(std::ostream& out, const DatatypeDeclarationCommand* c) thr const Datatype & d = i->getDatatype(); - out << "(" << maybeQuoteSymbol(d.getName()) << " "; + out << "(" << maybeQuoteSymbol(d.getName()) << " "; for(Datatype::const_iterator ctor = d.begin(), ctor_end = d.end(); ctor != ctor_end; ++ctor){ if( ctor!=d.begin() ) out << " "; |