From ba7aea0d9310015546bab5e5743c7dfcb0d2092d Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Fri, 21 Sep 2012 21:09:18 +0000 Subject: 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.) --- src/printer/cvc/cvc_printer.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/printer') 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() { -- cgit v1.2.3