From d2651f1afc4e9ca614a0a5332c46f6129a6fffc4 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 13 Feb 2013 18:53:37 -0800 Subject: [PATCH] Keep consistent error messages Signed-off-by: Leonardo de Moura --- src/ast/ast.cpp | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/src/ast/ast.cpp b/src/ast/ast.cpp index 704ae9fc8..8d643a348 100644 --- a/src/ast/ast.cpp +++ b/src/ast/ast.cpp @@ -1849,9 +1849,9 @@ void ast_manager::check_sort(func_decl const * decl, unsigned num_args, expr * c sort * given = get_sort(args[i]); if (!compatible_sorts(expected, given)) { std::ostringstream buff; - buff << "Invalid function application for " << decl->get_name() << ". "; - buff << "Sort mismatch on argument at position " << (i+1) << ". "; - buff << "Expected: " << mk_pp(expected, m) << " but given " << mk_pp(given, m); + buff << "invalid function application for " << decl->get_name() << ", "; + buff << "sort mismatch on argument at position " << (i+1) << ", "; + buff << "expected " << mk_pp(expected, m) << " but given " << mk_pp(given, m); throw ast_exception(buff.str().c_str()); } } @@ -1865,9 +1865,9 @@ void ast_manager::check_sort(func_decl const * decl, unsigned num_args, expr * c sort * given = get_sort(args[i]); if (!compatible_sorts(expected, given)) { std::ostringstream buff; - buff << "Invalid function application for " << decl->get_name() << ". "; - buff << "Sort mismatch on argument at position " << (i+1) << ". "; - buff << "Expected: " << mk_pp(expected, m) << " but given " << mk_pp(given, m); + buff << "invalid function application for " << decl->get_name() << ", "; + buff << "sort mismatch on argument at position " << (i+1) << ", "; + buff << "expected " << mk_pp(expected, m) << " but given " << mk_pp(given, m); throw ast_exception(buff.str().c_str()); } }