From 8a34bd2bf1c8d2b686f65f059c236884cab10d3f Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 21 May 2015 15:08:39 -0700 Subject: [PATCH] fixes issue #88 Signed-off-by: Nikolaj Bjorner --- src/ast/ast.cpp | 6 ++---- 1 file changed, 2 insertions(+), 4 deletions(-) diff --git a/src/ast/ast.cpp b/src/ast/ast.cpp index 4ae6b6106..d56bb73ff 100644 --- a/src/ast/ast.cpp +++ b/src/ast/ast.cpp @@ -2043,10 +2043,8 @@ inline app * ast_manager::mk_app_core(func_decl * decl, expr * arg1, expr * arg2 } app * ast_manager::mk_app(func_decl * decl, unsigned num_args, expr * const * args) { - if (decl->get_arity() != num_args && - !decl->is_right_associative() && - !decl->is_left_associative() && - !decl->is_chainable()) { + if (decl->get_arity() != num_args && !decl->is_right_associative() && + !decl->is_left_associative() && !decl->is_chainable()) { std::ostringstream buffer; buffer << "Wrong number of arguments (" << num_args << ") passed to function " << mk_pp(decl, *this);