From 147c0f8152fed35588ff3a3a839201afa67edb37 Mon Sep 17 00:00:00 2001 From: Mikolas Janota Date: Tue, 6 Sep 2016 18:25:55 +0100 Subject: [PATCH] Removing an unused method from bv_rewriter. --- src/ast/rewriter/bv_rewriter.h | 1 - 1 file changed, 1 deletion(-) diff --git a/src/ast/rewriter/bv_rewriter.h b/src/ast/rewriter/bv_rewriter.h index 5d47fb99d..b5482e5fa 100644 --- a/src/ast/rewriter/bv_rewriter.h +++ b/src/ast/rewriter/bv_rewriter.h @@ -80,7 +80,6 @@ class bv_rewriter : public poly_rewriter { br_status rw_leq_overflow(bool is_signed, expr * _a, expr * _b, expr_ref & result); br_status mk_leq_core(bool is_signed, expr * a, expr * b, expr_ref & result); - br_status fuse_concat(unsigned num_args, expr * const * args, expr_ref & result); br_status mk_concat(unsigned num_args, expr * const * args, expr_ref & result); unsigned propagate_extract(unsigned high, expr * arg, expr_ref & result); br_status mk_extract(unsigned high, unsigned low, expr * arg, expr_ref & result);