diff options
author | Morgan Deters <mdeters@gmail.com> | 2012-09-21 21:09:18 +0000 |
---|---|---|
committer | Morgan Deters <mdeters@gmail.com> | 2012-09-21 21:09:18 +0000 |
commit | ba7aea0d9310015546bab5e5743c7dfcb0d2092d (patch) | |
tree | 19ba631f0457b7946374c9a91a10121fe8839393 /src/printer/cvc | |
parent | b5e4b809d1913c9cfc5cf95c04e9fc34c1ca42f3 (diff) |
Fixes for datatype dumping and printing. Add a new test case for dumping.
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/printer/cvc')
-rw-r--r-- | src/printer/cvc/cvc_printer.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/printer/cvc/cvc_printer.cpp b/src/printer/cvc/cvc_printer.cpp index b14f6a9c8..35a85e681 100644 --- a/src/printer/cvc/cvc_printer.cpp +++ b/src/printer/cvc/cvc_printer.cpp @@ -991,13 +991,13 @@ static void toStream(std::ostream& out, const DatatypeDeclarationCommand* c) thr } firstSelector = false; const DatatypeConstructorArg& selector = *k; - out << selector.getName() << ": " << selector.getType(); + out << selector.getName() << ": " << SelectorType(selector.getType()).getRangeType(); } out << ')'; } } } - out << endl << "END;" << endl; + out << endl << "END;"; } static void toStream(std::ostream& out, const CommentCommand* c) throw() { |