From b4ba44ce9d39b784a07d9b6a878193af03946219 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 13 Apr 2019 16:35:10 -0700 Subject: [PATCH] remove unused candidate function Signed-off-by: Nikolaj Bjorner --- src/ast/ast_util.cpp | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/src/ast/ast_util.cpp b/src/ast/ast_util.cpp index 89c662822..6ca9d3797 100644 --- a/src/ast/ast_util.cpp +++ b/src/ast/ast_util.cpp @@ -368,9 +368,7 @@ static app_ref plus(ast_manager& m, expr* a, expr* b) { return app_ref(arith.mk_add(a, b), m); } -static app_ref plus(ast_manager& m, expr* a, int i) { - arith_util arith(m); - return app_ref(arith.mk_add(a, arith.mk_int(i)), m); -} -app_ref operator+(expr_ref& a, expr_ref& b) { return plus(a.m(), a, b); } +app_ref operator+(expr_ref& a, expr_ref& b) { + return plus(a.m(), a.get(), b.get()); +}