From 44498017455cce207bf9cb0a1ebbf67c4a4d77cf Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Sat, 17 Nov 2012 04:05:17 +0000 Subject: * Fix for bug 445 agreed to in meeting 11/13/2012: always dump in ALL_SUPPORTED logic * Java bindings fixes: fixed access to ostreams, iterators * Make SmtEngine::setUserAttribute() (and others) take a const string& * Also a few compliance fixes (this commit was certified error- and warning-free by the test-and-commit script.) --- src/printer/cvc/cvc_printer.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src/printer/cvc') diff --git a/src/printer/cvc/cvc_printer.cpp b/src/printer/cvc/cvc_printer.cpp index 8476b6239..f190b81bf 100644 --- a/src/printer/cvc/cvc_printer.cpp +++ b/src/printer/cvc/cvc_printer.cpp @@ -939,7 +939,7 @@ static void toStream(std::ostream& out, const SetBenchmarkStatusCommand* c) thro } static void toStream(std::ostream& out, const SetBenchmarkLogicCommand* c) throw() { - out << "% (set-logic " << c->getLogic() << ")"; + out << "OPTION \"logic\" \"" << c->getLogic() << "\";"; } static void toStream(std::ostream& out, const SetInfoCommand* c) throw() { -- cgit v1.2.3